fix [↻] button to work with new terminal widget
ship jquery etc locally, no CDN