The pretty_print plugin currently just prints to standard error; we need to either override io.stderr before the plugin is loaded (which is quick and easy, but I don't care for), or devise a mechanism through which the output handle is passed to the plugin.
