Revert "Revert "allow underscore in hyperref labels"" GitOrigin-RevId: f7b2dd418fa9c0940b778604ed08eccab78f97d2