fix styling of publish dialog
ide: new interactive command browseURLOrPathInWebBrowser
Strings: Strings.reMatches, Strings.peekRight, Strings.peekLeft
codeeditor: init keyboardhandler keyChain for key combos involving multiple keypresses