The releases haven't been moved yet, and it is still a bit unclear where
they will end up, so for now let's keep them in Github.