in source/ext/extref.py [0:0]
def _href(self): if 'url' in self.options.keys(): return self.options['url'] return self._ref()