Hi guys,

I just want to say that xref is IMO a big step forward, it really rocks!

Its UI is pleasant to use and it's very easily extensible (I added a
backend with just a few methods).

If all ref tools could move to using xref in the future, we'd have a
very consistent UI for jumping around!

Nico