Re: [arch-mirrors] Shutdown of mirror.fi.armbrust.me