Ivan Gavran developed a feature for the informalsystems/quint repository that adds direct links from project specifications to their corresponding code repositories, specifically for the liquidity migration contracts and the Neutron DEX formal model. By leveraging TypeScript and Git-based change management, Ivan focused on improving documentation quality and reviewer-centric user experience. This enhancement streamlines the review process by reducing the time required to locate relevant code, thereby facilitating faster onboarding and better cross-repository traceability. Although the work was limited to a single feature over one month, it addressed a clear need for improved auditability and collaboration within formal specification projects.