Fix #3112 serve docs on localhost:{random port}

Fix #3112 serve docs on localhost:{random port} #396