Hi all,

attached is a small patch improving RefTeX finding external documents
for referencing.

Best, Arash