MARXISM CHANGES HISTORY: Digitizing History Makes It Easy To Edit