* Catch user-library-generated exceptions.
* Remove hook registration function (no longer needed with a singleton
  ServerHooks object.
* Miscellaneous documentation changes.