Andreas Nuyts enhanced the agda/agda repository by updating the user manual to include a formal reference for polarities, directly citing the abstract of a related academic paper. This documentation improvement aimed to increase academic rigor and reference quality, supporting both researchers and new users. Andreas approached the task with careful technical writing and precise documentation skills, utilizing reStructuredText (rst) for content updates and Git for change tracking. The work focused on improving traceability and scholarly standards within the documentation workflow. While no bugs were addressed during this period, the feature delivered measurable value by strengthening the project’s technical documentation.