I wonder if 500ms is enough if you have, for example, a web service and a certain latency. Perhaps we should increase this a little bit, even if this will never be sufficient if the linting takes more time to finish.