Much ado about nothing. It's a matter of personal taste. An actual ≠ has a low chance to sneak into the source code, even lower chance to somehow type it by hand. Either way, it would be a syntax error highlighted by any editor. I'd like my code to look nice and I accept the risks.
Hmm...my programming language supports ≠ directly ...
> even lower chance to somehow type it by hand.
... and my keyboard lets me type it (almost) directly, via Alt-=.
I think the author is spot on in that the current state is not the correct end-state, though given path-dependencies it is understandable how we got here.