The README file was still mentioning the old location for the
official Git repository; we moved to using the LiU Gitlab instance
a year ago.