SharkeyからCatodonに移行したサーバーというのを見かけたが、Catodonもアーカイブになってるのか。