We extend the migration script, writing the URLs to a separate file for possible use after the migration (#110).