Thread:Extension talk:DynamicPageList (Wikimedia)/OR-operator for category