My bad. I cleaned the mirror but not the sensor. I looked in the manual for "cleaning" but found nothing. Then, looking for how to open the mirror, I found "Sensor cleaning". Despite the fact that I ddidn't see anything, it looks like it's gone.
Quite a relief!

I have tried prudent planning long enough. From now I'll be mad. (Rumi)