Fill out remaining documentation TODOs.

Side effect: HttpManager was missing a generateId method, but is
no longer.