Tweak formatting of dev docs