Nex move: they will petition for a national holiday, to be called “Charles Johnson Is Unimportant Day”.