@ste182
I would remove the battery and clean up the area around. Even if it has not leaked then it will most likely leak soon. The only thing the battery does is keep the clock running anyways and you can get a cheap replacement battery from amigakit anyways.
I think it has leaked since you said there was some stuff near the battery. Any discoleration or hairy stuff is a sign of battery leakage.
