[pearle]

IMO, being faster is a significant feature that increases productivity and it shouldn't be casually dismissed.

[babuskov]

The difference is not really big and if that's the only thing, I think I will stay on Linux/Mac.