Ubuntu

Comment 20 for bug 124326

Oh, and another problem that hasn't been much discussed: adding a new button means updating every theme in existence.