#29: Added menu entry to toggle the console