Tip to nominator: Consider using the proposed deletion process for uncontroversial deletions, such as this one. Thanks! -- </noinclude>~~~~<noinclude>