Tool account: wikilint

wikilint

Lint for Wikipedia articles.