../ README 10-Oct-2025 19:32 638 hobby.pdf 10-Oct-2025 19:32 506510 hobby.tex 10-Oct-2025 19:32 43450 hobby_code.dtx 10-Oct-2025 19:32 114651 hobby_code.pdf 10-Oct-2025 19:32 514679