add (obscure) option to avoid pretty printing notebooks (used with online toplevels)