@cvrebert Can you explain that? Do you want to I keep .pre-printable & .prettyprint, or just .prettyprint?