And Josh is the ED of the Internet Security Research Group, of which Lets Encrypt is just one product/service. As mentioned in his letter, they also run and sup

And Josh is the ED of the Internet Security Research Group, of which Lets Encrypt is just one product/service. As mentioned in his letter, they also run and support Prossimo (https://www.memorysafety.org https://www.memorysafety.org) -- so the Rust drivers and memory safe kernel are directly in their area of interest and are something they're investing in and supporting.