precursors.md: fix formatting in luakernel