If it's something that's just recently appeared there's another possibility imo. I'm not a disease expert to diagnose exactly what it was, but a couple of times over the years I've had a fish develop anomalous small black spots that were easily cured with a good water change, mild salt dose to the tank, and/or mild dose of something like melafix and/or pimafix, and/or bucket baths of methylene blue. If it's what I've seen I'd say water change (along with filter maintenance, if needed) and mild salt dose would normally take care of it and typically the other stuff would just speed it up or add some insurance.
Wouldn't attempt to diagnose from the photos if it's just a pigment anomaly, the same thing as what I'm talking about, or something else, but if it's what I've seen it's an easy cure and not serious.
Also, you can't always go by the thought that a disease would affect your other fish, since some are infectious, some not. And you're not always dealing with a disease in the full sense. Sometimes you just get the random parasite or odd scale injury or scuff that attracts some fungus or whatever, but turns out to be minor and temporary or easily cured.