to_migrate/doc/deploying-a-server.md

to_migrate/doc/developing-dockerfiles-and-infrastructure.md

to_migrate/doc/getting-started-as-a-hoster.md

to_migrate/doc/migration-format.md

to_migrate/doc/migration-procedure.md

to_migrate/proc/dnr.md

to_migrate/proc/dns.md

to_migrate/proc/email.md

to_migrate/proc/tls.md

to_migrate/proc/webapp.md