Answer: It is not necessary to let the battery cool down.
The advanced charger monitors battery temperature, and on those rare occasions when a too-warm battery is inserted in the charger, it will automatically wait for the right temperature before charging starts.
Related articles

Do Mirka sanders come with a pad wrench?
Answer: A wrench is supplied for changing the backing pad on a Mirka DEROS, Mirka PROS or Mirka ROS. You can find it located in the original packaging of the sander.