Doc typeset with LuaTeX
Bug fix / js option