jokes

This note last modified January 11, 2023

---