It is much better to have an option to export page titles as txt or csv format. we can use them for correcting them with autoWikiBrowser or pywikibot bots or other bots
There's a list=linterrors API module: https://www.mediawiki.org/w/api.php?action=help&modules=query%2Blinterrors
This should be more flexible and has more data than just a txt export would. Once T160611: Make "linter" table available on Labs is resolved, you could pretty easily create txt exports for certain lists via Tool Labs if you really wanted them. But for now I don't think it's worth the extra effort to specifically create txt export options.