fluxtoolbar.php: translate a bit