I'm not arguing for documentation in headers, I'm simply saying that it should be the same in all (most) places. And a line in HACKING would help avoiding confusion.