This name was chosen randomly and fairly by the Wu Tang Clan name generator.
|integration/config : master||layout: Add CI configuration for new DiscussionTools repo|
|integration/config : master||layout: [DiscussionTools] Add phan and phan-seccheck too|
I've created https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/DiscussionTools for you; with the corresponding Diffusion mirror rEDTO extension-DiscussionTools. I'll soon create a GitHub mirror as well <rant> too many mirrors </rant>.