function _launch(url) {
        // open default browser
        // TODO: fail?
        //
        _launcher.launch(url);
    }
Launches the given URL in the default browser.
@param {string} url
TODO: launchers for multiple browsers