clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although Springer might not like it;