I mean, yeah, Linux ran leaner and felt a bit snappier in the OS and in like-for-like loads on Firefox, but the difference is a few dB, I can certainly live with it.
I'm not "set" on anything here, if I hadn't had issues with compatibility I would have stuck with Linux on it. I really, really don't mind either for most tasks.