Spring Boot has deprecated the management.metrics.web.server.request.autotime.enabled property, and the deprecation note doesn't make sense, it just says:

Requests are timed automatically.

Which isn't very helpful. Just because requests are timed automatically doesn't mean that the enabled property isn't relevant. How do I disable server request autotime metrics, in Spring Boot 3+?

It looks like I could configure:

spring:
  autoconfigure:
    exclude:
      - org.springframework.boot.actuate.autoconfigure.observation.web.servlet.WebMvcObservationAutoConfiguration

But it seems like there should be a more graceful way...