Category:Non-empty category redirects

These categories have content that should be moved to the appropriate "real" category. This category is populated by category redirect.