Lobsters: Problem with concurrent linter fixes