update documentation

Developer-only documentation was moved to DEVELOPING. Redundant usage
information was removed from oft.
3 files changed