[arch-mirrors] mirror.lnx.sk IP change - 12/15/2017