Does redis returning to AGPL license effect the redis/valkey package replacement decision?

Devs, I was a bit surprised to see the following as the lead article on The Register daily stories for today: Redis 'returns' to open source with AGPL license https://www.theregister.com/2025/05/01/redis_returns_to_open_source/ After Arch's recent transition from redis to valkey due redis switching to the SSPLv1 license last year, does the decision by redis to relicense ver. 8 going forward under AGPL mean that redis will come back as a package or is Arch sticking with valkey? -- David C. Rankin, J.D.,P.E.