Category talk:Wikipedians interested in FIFA World Cup

Category name
Shouldn't the category be renamed "Category:Wikipedians interested in FIFA World Cup" as per the instructions given here ? CostaDax (talk) 13:39, 27 July 2014 (UTC)