Today I noticed some red dust around the negative terminal of the battery.
What could be the reason for this phenomenon, and is it a problem? Should I clean it up?
I originally thought about corrosion, but apparently (after some Google search) corrosion is supposed to create some white dust around the positive terminal.
See attached picture.