23 Sep
2016
23 Sep
'16
3:23 p.m.
I don't know if it's normal, but I've gotten into the habit of checking periodically and restarting gnome shell with "Alt-F2 r" if it's high. I do this maybe once a day.