Hi! Is it possible to save (i.e., to html) the contents of the console, so that you have both the input commands and their output? This would be very useful for making web pages with exercises. Thanks Agus