[ceph-users] Whether removing device_health_metrics pool is ok or not

Hi, Could you tell me whether it's ok to remove device_health_metrics pool after disabling device monitoring feature? I don't use device monitoring feature because I capture hardware information from other way. However, after disabling this feature, device_health_metrics pool stll exists. I don't want to concern HEALTH_WARN caused by problems in PGs of this pool. As a result of reading the source code of device monitoring module, it seems to be safe to remove this pool. Is my understanding correct? Thanks, Satoru