2 ms·

I'm not sure it's really necessary---Lua 5.0 came out in 2003, 5.1 in 2006 and 5.2 in late 2011. It doesn't change that fast.