Fix #20667 -- Fixed highlighting of core devs in ticket_change.hmtl

Thanks to Alex Couper for the report.