The same is also true for #freeRTOS and #RTEMS which drive rockets into space. There are many #openSource programs involved in rocketry at the highest levels, both civil and martial.
Perhaps most importantly to them, these are things you can exploit freely, a torch passed to you by others, free as in speech, a tool to better command whatever hardware you elect to use.
I hope you succeed in giving them some food for thought about different ways to achieve success ;)
The maintainers of Dragora, a fully free distro that uses #LinuxLibre and #LibreSSL, have recently announced the latest release "dragora 3.0-beta2." Read the release notes and download it for yourself: https://u.fsf.org/3zk
I don't have sympathy for #OpenBSD or #LibreSSL. However, I can understand that they had good reasons to fork OpenSSL, and that switching back today would be hard. I can understand projects refusing to officially declare support and rejecting workarounds.
OTOH, pushing LibreSSL hate to the point of blocking Python implementations that don't link to OpenSSL is just horrible. Users get in the crossfire, again.