to help with passive reconnaissance, here are tuxnet.dev's SSL certificates and associated subdomains:

https://www.certkit.io/tools/ct-logs/?query=tuxnet.dev