- Bump version to 25.0.2
- Update copyright year to 2026 in LICENSE and NOTICE
- Add license headers to all Python source files
- Add changelog entry for 25.0.2
This replaces the very old sitemap generator which was over 2kloc and
only compatible with Python 2.
According to the stored lastmod, the generator wasn't used since 2010.
The minimal replacement script scan the static site for html files and
uses git to deduce the last modification date of each page.
The sitemap xmlns version was updated to the latest 0.9 from
sitemaps.org .
The index page was given a higher priority since the other pages
are just redirects to the index with anchors.
The output file is pretty printed to help with diffs.
Static assets (css, images...) aren't listed in the sitemap anymore.
