Google/re2 forked due to “leftist propaganda” (groups.google.com)

Apologies for the "editorializing". I believe the title is more descriptive than the original linkbaitish: "fork without leftist propaganda".