more notes/comments on go to definition