I just want to say I was using the new racket-mode a lot this weekend and definitely noticed and appreciated all the improvements.

and they are handled so fast, just recently we complained about too noisy “tail” annotations :smile:

Thank you. I try to handle remove-feature-requests as quickly as possible. :stuck_out_tongue: