Fix #819. Document how to install for all users on a server.