Well, well, well. As an engineer I should've thought this before asking, but good old "have you tried turning it off and on again" helped. Merely restarting Chrome did not do the trick, but restarting the MacOS worked. Now, everything's fast even on the new laptop. Sorry about the trouble.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Well, well, well. As an engineer I should've thought this before asking, but good old "have you tried turning it off and on again" helped. Merely restarting Chrome did not do the trick, but restarting the MacOS worked. Now, everything's fast even on the new laptop. Sorry about the trouble.