[doc,hackers] Minor fixes to documentation docs.