(再度)サーバーを移転しました

2020年4月17日にサーバーを移転しました。接続先の変更はありません。

新サーバーは久しぶりの自宅サーバーです。ネットワークはOCIのままですが、CPUの性能が高く、メモリも少し多いので比較的快適だと思います。一部プラグインも復活しました。ほかにプラグイン等で追加の希望があればDiscordの方で連絡してくれると検討します。