In August 2025, Ayb5065 contributed to the verus-lang/verus repository by updating the Trigger Logging Options documentation, focusing on improving the clarity and usability of command-line arguments for trigger logging. Using Markdown and leveraging strong documentation skills, Ayb5065 revised option formats and added explicit guidance for users to consult verus --help, ensuring the documentation accurately reflected current CLI behavior. This work addressed ambiguities in the user guide, making it easier for both users and contributors to configure and reproduce trigger logging scenarios. The update enhanced documentation consistency, supporting faster onboarding and more efficient troubleshooting for the verus-lang/verus project.