[repo api] deprecates source.extid2eid, only the system source should implement it, and one should directly use the repo api instead of this confusing and error-prone short-cut. Deprecates eid2ext as well for consistency.

.. winclude:: about