Documentation: Yet more markup