Feature request: "Lint all open documents" and "Lint all files"

[HorstBaerbel]

This might take a while, but is very convenient when linting a new project or re-linting after editing several files.