I would maybe explain that this appears to be GitHub's fault?