Tweak some formatting in the hacking docs.