HACKING.rst formatting tweaks