Rankings: Holes

Reverse Polish Notation in TeX in bytes.

# Golfer Points Bytes Time
1st jared-hughes 1,000 261
2nd lifthrasiir 🇰🇷 953 274
3rd ovs-code 🇩🇪 656 398