cperciva whom you link have worked quite a bit on EC2 support for FreeBSD, a lot of it documented on their blog [0] and supported by Patreons at [1].

But yeah it would be nice if there was someone who could work on it full time

[0]: https://www.daemonology.net/blog/2022-03-29-FreeBSD-EC2-repo...

[1]: https://www.patreon.com/cperciva