HF RL Explorer

Duplicate instrument detection is case-sensitive, but instrument names should be case-insensitive

Duplicate instrument detection is case-sensitive, but instrument names should be case-insensitive: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). I'm using go.opentelemetry.io/otel/sdk/metric to instrument a service. We have two modules independently registering…

The task

I'm using `go.opentelemetry.io/otel/sdk/metric` to instrument a service. We have two modules independently registering metrics on the same Meter, and one of them accidentally created a counter with a different capitalization than the other — something like:

Part of FineEnvs/MiMo-V2.6-RL-harbor-code.