See the image. How come that tacking an arrow on 'racket-syntax' does show a binding occurrence, but hovering the mouse over 'gen-temp' shows "No bound occurrences"? I have not seen this behaviour with any other likewise import.
