Daniele, getbootstrap's alerts don't seem to be fine in this case, because the traceback is long and it wouldn't fit "inside" the tab. Your first suggestion, instead (using the pop-up window), seems to do what we need. Now I'm going to explore pygments to provide a better output, as suggested by Michele.