Moving twelve modules off GitHub in an afternoon

A customer’s notes on a migration nobody downstream noticed.