During May 2025, Bas Spitters focused on enhancing documentation for the cryspen/libcrux repository by restructuring the Readme using Markdown. He introduced a dedicated Publications section, separating article references from the main content to streamline onboarding and improve reference management for contributors. His approach emphasized repository hygiene, ensuring that documentation updates were clearly tracked through associated commits for traceability. While no code changes or bug fixes were made, the work laid a foundation for future development by clarifying project resources and improving discoverability. The depth of the contribution was in documentation, leveraging Markdown skills to support the project’s maintainability.