At this point, the fix is just a matter of popping open a terminal, hitting Ctrl+R and typing "restart" to find the command that fixes things, and hitting Enter. So yeah, it is annoying but not a dealbreaker by any means for a power user. I could probably cronjob the restart, too.