ignore smallskip
stop paragraphs when encoutering math block
add ocaml:printf base rule
add as-xml base rule
remove verbose