An amusing satire. Not much more than that. And certainly not something that should be banned - GitHub made a severe error in bowing to the pressure of a host of noisy 'progressives'.
However, it would be interesting to see if this actually led to any useful innovations in programming languages.
Is this supposed to be a joke? If so, it's not all that funny.