> extensions.html

On that page, what words do you think support your claim "was removed before Lua 5.2 was released".

> I know with certainty

I made those code changes. I wrote de-optimized as a joke.