added option for specifying the category of the main preference page of
the generated editor