Actually, it was first called the "floatie," and then it was decided that
this might be considered borderline obscene, so they came up with "minibar,"
which a lot of us liked, but they decided that was a bit risky, too, so the
official name is "Mini Toolbar." <thud>