You can reach me Roc at community
https://racket.discourse.group ; my interest is to reach the goodness of
https://tx0.org/16u and to avoid direction of dystopia; I would like to see DrRacket running on seL4 microkernel with proof in spec. correctness, debugability and control given highest priority