misc 3

• Infix User's Guide Jul 12, 2025
• Fun Podcast Mar 3, 2025
• Our Mascot, Jack/Jacky! Jul 26, 2024