My perspective is that progress feels remarkably slow (despite minting an ever-increasing number of PhDs as you say), and Racket is one of a very small number of exceptions. I hope you're right that Matthias isn't necessary for Racket to keep advancing, because I fear we're about to find out.