Documentation: Replace uses of @code with Markdown formatting.

Progress on #183.