Bug#1025213: Extra info

[Gert van de Kraats]

I tried to install gnome-shell-common gnome-shell and
gnome-shell-extension-prefs 43.0.2.
This did not succeed because of failing login  (protocol)?

Then I compiled source gnome-shell 43.0.2 and installed at /usr/local...
I verified the version with gnome-shell --version.

This downgrade did not change anything. So gnome-shell itself is not the 
problem.

Subframes seem to be rendered OK, but old, already deleted subframes are 
repeatedly shown.
Do not know how to investigate further.
Upstream??