html: correctly handle hyp-name hints with numbers in them