Corrections on docs, man page and the docstring of "server console" command