Web Editor- Cannot set Serial Monitor baud rate

I am trying to monitor my ESP32 project using the Web Editor serial monitor. It comes up at 9600 baud and stays there even if I select 115200 baud from the dropdown. I switched to the serial monitor in my desktop Arduino IDE and the 115200 baud data is displayed properly.

It seems that the web editor baud rate setting cannot be changed from 9600. Why?

As soon as serial data are transmitted other than by direct wire connection, i.e. by BT, WifFi etc., the baudrate is unimportant. In case of the web editor the baudrate may be used to slow down character transmission to the equivalent of the baudrate.

Dunno why Serial Monitor by Serial over USB is picky with baudrates.