In 3a89982cd6f6716b8d22bfe29221dbef9d485797 double slashes were removed, because they don't work on Firebase hosting. It is very likely that we have internal links like this elsewhere. Should be reviewed. Consider running html proof on all pages in the sitemap.