Bug: Broken links on https://marimo-team.github.io/learn/

[henryharbeck]

When on https://marimo-team.github.io/learn/, there are many broken links.

Specifically:

• https://marimo-team.github.io/learn/polars/13_window_functions.html
• https://marimo-team.github.io/learn/polars/14_user_defined_functions.html
• https://marimo-team.github.io/learn/polars/16_lazy_execution.html

Edit: There also seem to be broken links in the DuckDB and probability courses. Would be best to check all links.