The `spring.metrics.export.redis.aggregate-key-pattern` is no longer
defined but was still referenced in the documentation.