As several people have discovered, the webserial REPL does not see print() statements.

Only workaround at the moment is to connect directly to the usb serial port with minicom or screen, because the REPL you get there does get prints sent to it.