Moved to GitLab (10 June 2018)

I just finished migrating my repositories (including this Web site) from GitHub to GitLab. For now, nothing else has changed.

No, the Microsoft acquisition was not the reason.