This updates 7 URLs that are producing 404s.

Apologies if the tech@ list isn't the right spot for this, or
if there is a preference for splitting these up differently.

The selection is almost random, and there are likely many
more that could be updated. I would like some feedback on
whether it would be useful to iterate through them over time.

All the best,
Rob

• dead-links-update.patch (5K)