Not the best timing for a bug report at the day of the 7.1 release I know. But there will be always a new release I hope
And it is maybe an OS bug.
So, start PointerDemo, press 3 to select animated pointer, then move the pointer to the top of the Workbench screen.
Here some garbage is displayed below the animated pointer.