Why do they have so many GitHub issues then?