[01b77111e5]: Small fixes relating to this bug. In particular, the package name
mapping was not being distributed, and there were some small problems with what
the mappings were and how they were applied. Also prevented external URLs from
ending with a '.'; that's vanishingly rare...