I am going to go ahead with this change, as there has been no response. (Maybe the question needs to be asked on other talk pages.) If it turns out people prefer the double categorization, we can recategorize, as needed.
Alison
