The GitHub move is done.

<https://www.uninformativ.de/blog/postings/2018-06-11/0/POSTING-en.html>