@Gargron
Wouldn't it be possible to create a theme, which changes the button back to toot, but it is not the default one?