Thank you for the notes! Those are relics from a font change earlier, and all will be fixed this coming week.
