Contributed to the informalsystems/quint repository by developing and integrating Quint Quick Install Instructions directly into the project’s README. Focused on improving user onboarding, the work centered on technical writing and documentation best practices using Markdown to enhance clarity and accessibility for new users. The approach streamlined the setup process, reducing friction for first-time Quint adopters and supporting a smoother contributor experience. No major bugs were addressed during this period, as efforts were concentrated on documentation and user onboarding improvements. Collaboration was managed through Git, ensuring changes were tracked and reviewed efficiently to maintain project stability and encourage higher user adoption.