As per emails in 02-03/2018 between James Hare, Srishti and me.
- The workboard of Technical-Tool-Request is not used.
- The workboard of MediaWiki-extension-requests has columns such as "Does This Need To Be an Extension?".
In my opinion:
MediaWiki-extension-requests is a subset of Technical-Tool-Request, literally an implementation detail.
I slightly prefer option b) but really up to whoever feels responsible:
a) Technical-Tool-Request should remain the catch-all to triage (which requires someone to feel responsible to regularly triage)
General docs: https://www.mediawiki.org/wiki/Phabricator/Project_management#Typical_uses_of_workboards
if changes are wanted, we'll need to check project descriptions of Possible-Tech-Projects , Outreach-Programs-Projects , MediaWiki-extension-requests , Technical-Tool-Request and update/correct if needed, once changes have been performed.