No Ports found

Here is the console:

No chrome.serial - Chrome Serial disabled
No chrome.sockets - Chrome Socket disabled
serial_audio: Audio Sample rate : 44100
serial_audio: Audio Serial Baud 9600 Bit time 4.59375
WebSocket relay support enabled - running in web browser
WebSocket localhost support (EspruinoHost) enabled - running in web browser
serial_frame: Running in a frame - enabling frame messaging
No chrome.storage API - disabling Offline mode
Initialising SettingsConsole
Initialising Utils
Initialising Config
Initialising Notifications
Initialising Status
Initialising App
Initialising File
Initialising Code
Initialising Serial

• Initialising Serial Web Audio
  
• Initialising Serial Web Bluetooth
  
• Initialising Serial Websocket Relay
  
• Initialising Serial Websocket to EspruinoHost
  
• Initialising Serial window.postMessage
  Initialising SerialWebSocketRelay
  Initialising SerialWebSocketLocal
  Initialising Terminal
  Initialising CodeWriter
  Initialising Modules
  Initialising Env
  Initialising Flasher
  Initialising EditorBlockly
  Initialising EditorJavaScript
  Initialising Send
  Initialising MenuPortSelector
  Initialising MenuSettings
  Initialising MenuFlasher
  Initialising SettingsAbout
  Initialising SettingsFlasher
  Initialising BoardJSON
  Initialising VersionChecker
  Initialising Compiler
  Initialising Assembler
  Initialising GetGitHub
  Initialising Unicode
  Initialising Minify
  Initialising SaveOnSend
  Initialising SetTime
  Initialising Tutorial
  Initialising Webcam
  Initialising FontSize
  Initialising UiMode
  Initialising URLHandler
  Initialising CodeLink
  Initialising Project
  Initialising Testing
  Initialising Notification_Sound
  Initialising Tern
  Initialising Debugger
  Initialising Tour
  Initialising HelpLinks
  Initialising Arrows
  Loaded code from storage.
  serviceworker> active
  Handling URL "https://www.espruino.com/ide/"