Serial.println() duplicated in web editor?

I published a fix, could you please report it, if it happens again? Thanks