Nice, thanks!

Two points:

• Can we drop the file extension (.html)? I guess a redirect is better, the shorter it is.
• I would not have multiple redirects, because then we lose track. I think we should have only one per page and use it everywhere. In that context, I would go with the full name, to not have to guess every time.

Can we drop the file extension (.html)? I guess a redirect is better, the shorter it is.

The client-side redirection is a html file, but you can omit the html anyhow. (Something we should probably do with all internal links)

I would not have multiple redirects, because then we lose track.

👍 🏗️