Options in the "Customize" Menu not translatable

The menu has several options:

They always appear in English even if language is switched:

In languages/xx_xx/Vtiger.php there are labels which appear to be the ones that affect that strings, but they don't work: