Hvad konstruerede Henrik Gerner i 1784 og 1785, som blev brugt i dokken? 


I 1786 fik han ordre til at fremsætte de principper, hvorefter orlogsskibe burde bygges, og kort efter kunne han indgive en besvarelse med tabeller og talrige bilag. 1779 anmodedes han om at lede opmudringen ved det grønlandske handelsselskabs bolværker og uddybningen deromkring; tre uger efter var alle undersøgelser klar og betænkningen afgivet. 1780 indberettede han, at det nu ville være ham muligt at klargøre en fregat til togt på 10 dage. 1787 fik han ordre til at tegne et nyt 80 kanoners linjeskib; seks uger efter erklærer han, at arbejdet kan påbegyndes, når det skal være. I 1781 indtrådte Gerner i Dokkommissionen og tog fat med vanlig iver. I 1784 og 1785 konstruerede han et sindrigt pumpeværk, der benyttes i dokken til midt i 1800-tallet. Ved det simplificerede han udpumpningen af dokken, som tidligere havde kostet 2-400 mands anstrengende arbejde i 2-3 døgn, nu udførtes af 24 heste på en snes timer, hvorved udgiften faldt til en fjerdedel.
En anden myte fortæller om en plantagejer, der forsvandt på en jagttur på bjerget. En af hans trofaste slaver tog ud til bjerget for at lede efter ham. Han ledte efter ham nat efter nat, forsynet med en lanterne. Slaven er for længst død, men hans ånd leder stadig efter sin herre, og det er skinnet fra lanternen, man kan se.