Alright, good to know. Personally, I very much prefer the top toolbar, since the floating one often covers stuff. But it's not a big issue.
