During March 2026, Miguel Rocha focused on maintaining and improving documentation quality in the esbmc/esbmc repository. He addressed a broken Software Security course link in the README.md, updating it to direct users to the current live landing page and resolving a persistent 404 error. Using Markdown for documentation and Git-based version control, Miguel ensured that the fix was clearly documented with proper commit messages and issue references. This work enhanced user onboarding by providing reliable navigation and reduced support queries related to outdated links. His efforts demonstrated attention to documentation standards, link management, and effective cross-team collaboration within the project.