Ignored wmllint issue that crops up for god-knows what reason