Bug#1025213: Extra info

[Gert van de Kraats]

I also tried mutter 43.2-4 without the Debian patches,
specially the Support-Dynamic-triple-double-buffering.patch .
This did not solve the problem,
The only difference is that during blinking of the cursor
there is switching between 2 different (old) backgrounds i.s.o. 3.