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.
However, it would be interesting to see if this actually led to any useful innovations in programming languages.