I'm not sure what you mean by 'his work on Racket being only tangentially related to what's he actually paid for", as far as I know all his research for like th

I'm not sure what you mean by 'his work on Racket being only tangentially related to what's he actually paid for", as far as I know all his research for like the past two decades has been on Racket, though I'm not familiar with what he's been doing exactly. Now, it could be that his involvement with the project isn't necessary for his research to continue without issue, but I at least don't think that's a given and would depend on what research he's been doing specifically.