Arch Linux to Switch from Redis to Valkey