This is horrible this is horrible this is horrible

GitHub pages doesn't automatically redirect to the canonical URL, so we
do so ourselves.