v0.7.25

0.7.25 (2025-06-19)

Bug Fixes

• ci: move file generation (6bf4d62), closes #319
• toc: auto-update [skip ci] (3bb06e1)

Performance Improvements

• ci: speed up apt-get (b298a81), closes #319