Feature summary (what you would like to be able to do and where):
Prompted by comments here - https://en.wikisource.org/wiki/Wikisource:Scriptorium#User_pages,_and_the_over-intervention
Indvidual wikis should have the option to exclude specific namespaces (such as User:) , pattern of pages (such as /Archives) or content models ( such as css, Lua or javascript) from linter checks essentially designed to check for errors in "wikitext" content.
Currently on English Wikisource, the missing-end tag category for example lists around 60,000 missing end tags, However of those only about 9-10000 are an actual (albiet lowered) priority, If page quality level is considered then the number of pages that actually need priority is only about 2-3000 a considerably lower number. Those 2-3000 pages get lost in the noise.
Benefits (why should this be implemented?):
*Allows contributor effort to be placed into 'content' pages , which are most likely to be as opposed to archived talk pages which are seldom read.
- Allows contributors to more quickly find pages with signifcant errors, amongst the background noise of all pages.
- Reduced server load if only certain pages are re-linted on changes.