Docsprint: Document ops module, primarily Deref.