Worked on the leanprover/reference-manual repository to update web analytics configuration, focusing on streamlining data collection and ensuring compliance with governance standards. The project involved removing the Scarf analytics script and migrating the Plausible analytics script to the general lean-lang.org domain, which reduced tracking noise and improved data quality. This update was implemented using Lean and required skills in documentation and web analytics, as well as careful version-control practices. The changes resulted in cleaner analytics data, easier maintenance, and a stronger privacy posture, reflecting a methodical approach to analytics governance and cross-team collaboration within the documentation ecosystem.