fixup! Shorten some URLs