Extract developer guide report summaries to script

[shai-almog]

Summary

• replace inline Python heredocs in the developer guide workflow with calls to a reusable summarization script
• add scripts/developer-guide/summarize_reports.py to format AsciiDoc, Vale, and unused image reports for GitHub Actions outputs

Testing

• python3 -m py_compile scripts/developer-guide/find_unused_images.py scripts/developer-guide/summarize_reports.py

---

https://chatgpt.com/codex/tasks/task_e_68f9cf97bf048331bd76bcb4b71c0879

[github-actions]

Developer Guide build artifacts are available for download from this workflow run:

• Developer Guide HTML package
• Developer Guide PDF
• AsciiDoc linter report
• Vale report
• Unused image report

Developer Guide quality checks:

• AsciiDoc linter: 3 issue(s) flagged (2 errors, 1 warnings) (exit code 1) (report)
• Vale: 18526 alert(s) (2719 errors, 6274 warnings, 9533 suggestions) (exit code 1) (report)
• Image references: 183 unused image(s) found (report)

Unused image preview:

• img/cover.png
• img/developer-guide/9-piece-tool.png
• img/developer-guide/add-style-dialog.png
• img/developer-guide/advanced-buildhints-eclipse.png
• img/developer-guide/advanced-buildhints-intellij.png
• img/developer-guide/advanced-buildhints-ios-settings.png
• img/developer-guide/advanced-buildhints-netbeans.png
• img/developer-guide/android-studio-preferences.png
• img/developer-guide/background006.jpg
• img/developer-guide/badges-1.png
• ... and 173 more