Since the old linter is already retired, `our web linter` should point to the old linter's (or travis-weblint) repo, I think.