Allow serving docs on a customized port #229
Description
When first trying to serve the docs on the default 5000 port, I found that an agent process was running on it on my machine. Not sure if that was some lost agent or something managed by IT. But I had to kill it to be able to serve the docs.
agent was the exact name of the process.
So just in case this happens more in the future, it'd be great to be able to specify a custom port through a command flag when serving the docs.