Category:MGED bot operators

someone delete this, I've renamed it to category:BoT operators

This category currently contains no pages or media.