I used these instructions with 100% success, although I had to download a savegame fromt he net in order to undock.
If you are using this on a new installation then I would recommend playing the game on the standard res until you have a ship.
After that undocking seems to cause the HUD to reset and all is well.
Thanks for the info!