I thought of this story a few weeks ago when I was using VS Code on an old machine and couldn't get the linter to work on longer files. Very similar problem and solution.