Ah, never mind, please close this.

I have reported this to racket-mode, and it got fixed in racket-mode.

Sorry for the noise.