Thank you Luigi and all others for the development! A quick note: if you like a git(hub) style interface, I try to keep https://github.com/pgundlach/LuaTeX up to date Patrick