Document more coverage tricks in doc/HACKING