management.context-path and servlet.context-path do quite different things, but their names suggest that they have a similar purpose. We should consider renaming management.context-path to avoid confusion. In #10200, @mbhave suggested endpoints.base-path which I like. We could also consider management.endpoints.web.base-path (inspired by the existing management.endpoints.jmx.domain property).