Document the worksheet mode #5380
Description
See #5102
And while we're at it we should update the "Status" section of http://dotty.epfl.ch/docs/usage/ide-support.html
{{ message }}
See #5102
And while we're at it we should update the "Status" section of http://dotty.epfl.ch/docs/usage/ide-support.html