I would have perhaps gone with an RFC before a DR as the normal route of escalation.  For what its worth, the information is very reliably sourced (certainly for this type of info any way), and wikipedia is WP:NOTCENSORED.