notjack2021-10-20 08:51:00I think it’s hooked into the racket langserver, you could call that programmatically laurent.orseau2021-10-20 11:57:49thanks, I’ll look into it