So, another article supporting implementation dependent behavior when everybody is out complaining about undefined behavior.

Of course implementation dependent behavior is a necessity. Undefined behavior too, on the very few cases that nobody complains about. This isn't one of them.