A bit more information potentially useful for debugging:
* Once the bug occurs once, it keeps recurring every time the screen locks at least until gnome-shell is restarted. (It's possible it only occurs on idle; I forgot to test manual lock before restarting gnome-shell and losing the buggy behavior.)
* I, too, get the problem where mousing over some dock icons (particularly ones that are not pinned) causes the icon spacing to expand, leading to a bit of sideways jitter. This does not happen every time. Strangely, when it does happen, I *don't* get the problem where my non-GNOME tray icons (Dropbox, Skype, etc.) disappear after unlocking.
* With more careful experimentation, I was able to isolate some journalctl errors from the time of locking and the time of unlocking. I've attached the journalctl output.
A bit more information potentially useful for debugging:
* Once the bug occurs once, it keeps recurring every time the screen locks at least until gnome-shell is restarted. (It's possible it only occurs on idle; I forgot to test manual lock before restarting gnome-shell and losing the buggy behavior.)
* I, too, get the problem where mousing over some dock icons (particularly ones that are not pinned) causes the icon spacing to expand, leading to a bit of sideways jitter. This does not happen every time. Strangely, when it does happen, I *don't* get the problem where my non-GNOME tray icons (Dropbox, Skype, etc.) disappear after unlocking.
* With more careful experimentation, I was able to isolate some journalctl errors from the time of locking and the time of unlocking. I've attached the journalctl output.