Rankings: Holes

Gijswijt’s Sequence in TeX in chars.

#GolferLangPointsCharsTime
1st MeWhenI 🇻🇦TeX1,000166
2nd ovs-code 🇩🇪TeX907183
3rd jmerle 🇳🇱TeX459362
4th dokutanTeX1161,430
5th KatieLG 🇬🇧TeX552,998
5th KatieLG-Transpiler 🇬🇧TeX552,998