widgets.console: more documentation