This is still used to disable the help menu entry. So it has to stay. The name of the config option is optimal but that's cosmetic because the description is O.K. And I don' want to change this now because of backward compatibility reasons.