Fixing up some code snippet formatting.
Converting design documents within the Sphinx extension so that tools like readthedocs.org can generate the manual.