IIRC currently the export of highlights happens in either pain text or JSON. The JSON export already contains the data needed to create links, so adding it there is trivial. But I dont think you mean JSON. In plain text I am not sure, it makes sense, the link is quite ugly.
|