Commit 0c8100cb654397d6de62df383f507b3cdecf0cd0

Karl Berry 2021-05-12T18:08:02

doc: HACKING updates. * HACKING: some additional tidbits.