It would be nice if `run` would take files as input on the command line, and lint those (and exactly those) files.