The text repository behind "red texts: communist text files" - View it on GitHub