[talex5]

Indeed. The project has since moved under the mirage org on GitHub, and now has several contributors:

https://github.com/mirage/qubes-mirage-firewall