The result of the discussion was: no consensus . I'm going to WP:BOLDly close this as no consensus for now, with the proviso that MrX has until the end of this month - that is, midnight of May 31, UCT - to either submit this as a well-formed complaint to an appropriate venue or blank it and request deletion. Guy (Help!) 21:30, 18 May 2018 (UTC)