1004385: remove some gtk help options