Thread:Seishinsan/@comment-4079189-20191028194206/@comment-4079189-20191028221934

So one category is not a subset of the other? Seems like that should be the case, but maybe not?

Renaming categories is usually pretty painless. I have a script in my global profile for doing it. So, if you come up with a name, I can rename it.