After initial reading, I'm not quite sure if they're aware of the Lua 5.2 vs. LuaJIT "split". Mike's thoughts on the topic may not be widely known beyond this mailing list; or are they visible at least somewhere on the LuaJIT page?
Shall someone educate them?