Fix markdown in HACKING file