Broken Links Found in Documentation

[github-actions]

Link Check Report

🚨 0 broken link(s) and 2 redirect(s) were found in the documentation.

Details:

• Repository: QuantEcon/lecture-python-programming
• Workflow: Link Checker [Anaconda, Linux]
• Run ID: 30861950568
• Commit: 8dd1c0a
• Branch: main
• Date: 2026-08-03T23:28:45.857Z

---

Link Check Summary

• Total broken links: 0
• Total redirects found: 2
• Links skipped by ignore-patterns: 7

AI-Powered Suggestions

_site/workspace.html - AI Suggestions:
🤖 https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-pull-requests
Issue: Redirected 1 times
💡 redirect_update: https://docs.github.com/en/pull-requests/reference/pull-requests
Reason: Update to final destination to avoid 1 redirect(s)

_site/polars.html - AI Suggestions:
🤖 https://www.pola.rs/benchmarks/
Issue: Redirected 1 times
💡 redirect_update: https://pola.rs/benchmarks/
Reason: Update to final destination to avoid 1 redirect(s)

---

Next Steps:

1. Review the broken links listed above
2. Update or remove broken links from the source files
3. Consider applying AI suggestions for better alternatives
4. Re-run the link check to verify fixes

Note: This issue was automatically created by the AI-Powered Link Checker Action. While it stays open, later runs refresh this body in place rather than opening a new issue, so the report above always reflects the most recent run.

Please close this issue once all broken links have been addressed.

[mmcky]

Both flagged redirects are now addressed in source:

• polars.html → www.pola.rs/benchmarks/: fixed in FIX: point the Polars benchmarks link at its final destination #598 (pola.rs/benchmarks/, verified 200 with no redirect).
• workspace.html → GitHub PR-docs link: already fixed on main by FIX: update GitHub pull requests doc link to final destination #590 (2026-08-02). The report still sees the old URL because this check runs against the published site, which has not been republished since — a live example of the publish drift described in Publishing is a manual tag push, and the drift is what produced yesterday's 404s #591.

The ignore-patterns from #592 are confirmed working in production: 7 links skipped, zero FRED false positives, and this is the first report since the cleanup — 0 broken links.

Suggested close condition: after #598 merges and the next publish goes out, the following weekly run should report clean; close then. (While open, the action refreshes this body in place, so no duplicate issues accumulate.)