@daviwil Yep, "go to definition" is what I'm working on right now :)
It will be definitely useful to see the location, where the procedure get imported from C library.
Also, display is defined in (rnrs io ports), get re-exported via (rnrs io simple) to (guile) and there is a Scheme implementation for it, but IDK how to understand this programmatically yet.