userVisible was no longer used, so remove from the api. Query: isn't
the category string also obsolete since commit 84e57495069833f647f7a41511d451eafae69737
(Replaced the old composite op ComboBox with a new one.)?