Is there a special reason why in the let-form no tack/untack option is shown when I right-click on letter b? As the figure shows, without let the option appears and works. Just curious.
I think this has to do with the fact that local syntax bindings don’t appear in the fully-expanded program, so Check Syntax doesn’t have a chance to draw binding arrows. It seems to be the same issue as racket/racket#5176.