subref.doc is a literate version of the code that noxref uses to number definitions 7a, 7b, 7c, and so on.