Making .NET 7’s NEW output cache scale with Redis