It does amuse me when linux users get upset over the term taskbar instead of panel. 
Thank you for posting this. I’ve been searching google for hours trying to figure out how to fix this bug, but now that I’m here I finally know what I need to do!
