Migrating Redis to Valkey

Valkey should be a one-to-one Redis replacement, but there were some snags.