Fix package names.
Clean up documentation, finishing touches on server.