Fix hyperref label mismatch for tech/def cross-references in LaTeX#565

mflatt merged 1 commit into

racket:masterracket/scribble:masterfrom

wilbowma:masterwilbowma/scribble:masterCopy head branch name to clipboard