foldlevelstart and pjp-snippets