anchor.diff:    var urlMatch = [
       '$server/ipfs/*',
       '$server/ipns/*',
  -    'file:///ipfs/*',
  -    'file:///ipns/*'
     ];
   
     var props = new JsObject.jsify({
  
positive.code:   addListenerToChromeEvent(_pageAction, 'onClicked', _pageActionOnClickedAction);
  
    _setupContextMenu(settings);
    new WebRequestRedirect(_webRequest, _runtime, settings);
  
    settings.changes.listen((_) {
      _setupContextMenu(settings);
  
negative.code:     'pageUrl': {
        // Chrome has globbing available everywhere but here
        // Also note that for ports 80 and 443 the port numbers won't be present
        'originAndPathMatches': r'^http://' + settings.host + r'(:' + settings.port.toString() + r')?/(ipfs|ipns)/.+',
        'schemes': ['http']
    }});
    var rules = new JsObject.jsify([{
  