During August 2025, Ayb5065 updated the Trigger Logging Options documentation for the verus-lang/verus repository, focusing on improving the clarity and usability of command-line arguments related to trigger logging. Working primarily with 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 update addressed ambiguities in the user guide, making it easier for both new users and contributors to configure trigger logging and reproduce issues. The work demonstrated attention to detail and contributed to more consistent, accessible project documentation.