Upgrade to [Micrometer Tracing 1.5.1](https://github.com/micrometer-metrics/tracing/releases/tag/v1.5.1).