Oh, and I'm not fluent enough to figure out how to get rid of the bottom tool bar and migrate the task buttons to the top bar in mini Gnome... sometimes the bars appear on top of maximized windows, which is a problem with some other themes as well.