Fix HTML-escaping in the alphabetic indices (#13386).