Comment by anon6362

Its website still works and there's a gpg key, so it's a "shutdown" rather than shutdown.