Thanks to Basile Starynkevitch for the suggestion and initial patch. Thanks to Jonathan Landis and Deron Meranda for showing how this can be utilized for implementing secure memory operations.
To build the documentation, invoke
make html
Then point your browser to _build/html/index.html.