Category:TechInfoDepot non-empty soft redirected categories

TechInfoDepot soft redirected categories should not be populated. Members of category redirects will be re-categorised by a bot (eventually).