ghp: document switch to port 56789