Add PLDI'25 artifact description to readthedocs

[Copilot]

• Explore existing artifact descriptions and understand the format
• Review the four README files from the external repository (top-level, rq1-3-benchmarks, rq4-results, rq5-benchmarks)
• Create a new pldi25.md file in docs/artifact-descriptions combining all four READMEs
• Format the content to match the style of existing artifact descriptions
• Add PLDI'25 entry to mkdocs.yml navigation
• Verify the documentation builds correctly
• Address code review feedback (fix typos)
• Update to reference Zenodo artifact URL
• Remove source code repository sentence per review feedback
• Fix broken links to CODE.md and EXAMPLE.md (change main to master branch)
• Remove Requirements section per review feedback

Original prompt

---

This section details on the original issue you should resolve

<issue_title>Add PLDI'25 readme to list of artifact readmes on readthedocs</issue_title>
<issue_description></issue_description>

<agent_instructions>Lookup the readme provided in the comment and format it like our other readmes so it can be included in readthedocs.</agent_instructions>

Comments on the Issue (you are @copilot in this section)

@michael-schwarz The descriptions are here https://github.com/tum-cit-pl/precision-recovery-mixed-flowsens-benchmarks, one should incorporate all 3 READMEs, the toplevel one and the one in subdirectories.

• Fixes Add PLDI'25 readme to list of artifact readmes on readthedocs #1907

---

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

[michael-schwarz]

Copilot seems to better at formatting things so readthedocs likes it than me 🙃

[sim642]

Let's see what Copilot does about this.

[sim642]

This probably is best squash merged because there's a lot of pointless back and forth commits and apparently Copilot makes an empty "Initial plan" commit for each task...