Alternate theme subdomains are down

Looks like all of the alternate theme subdomains are down. I'm assuming this is due to the maintenance but wanted to point it out just in case.

https://t.programming.dev/

https://p.programming.dev/

https://a.programming.dev/

https://old.programming.dev/

https://v.programming.dev/