Fix alias-hermit (GitHub web editor + stock Android browser = hell)