Broken Links Found in Documentation

[github-actions]

Link Check Report

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

Details:

• Repository: QuantEcon/lecture-python-programming
• Workflow: Link Checker [Anaconda, Linux]
• Run ID: 34907081870
• Commit: 1706cea
• Branch: main
• Date: 2026-09-14T23:12:30.429Z

---

Link Check Summary

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

AI-Powered Suggestions

_site/getting_started.html - AI Suggestions:
🤖 https://research.google.com/colaboratory/
Issue: Redirected 2 times
💡 redirect_update: https://colab.research.google.com/
Reason: Update to final destination to avoid 2 redirect(s)

_site/functions.html - AI Suggestions:
🤖 https://docs.python.org/3/library/functions.html
Issue: Redirected 1 times
💡 redirect_update: https://docs.python.org/3/builtins/functions.html
Reason: Update to final destination to avoid 1 redirect(s)

_site/python_by_example.html - AI Suggestions:
🤖 https://docs.python.org/3/library/stdtypes.html#string-methods
Issue: Redirected 1 times
💡 redirect_update: https://docs.python.org/3/builtins/stdtypes.html#string-methods
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.)