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