re #462 - jump-to-def via 'info' op