I just noticed that although I announced stdlib release 16 in December, I never uploaded it to LuaForge. Apologies for this oversight! Release 17 has indeed been uploaded. -- http://rrt.sc3d.org