Small style tweaks on the HACKING file.