Have an option to easily delete chat

[novoselt]

Sometimes users want to delete chat content, not just to hide it.

Current workaround from William:

Click the "eye" toggle to see all hidden files. If you are editing a file "foo", then the side chat is in the file .foo.sage-chat. You could replace that file by an empty file, e.g.,

echo "" > .foo.sage-chat

In general the effect of having these hidden files should be "user reversible" without direct manipulations with hidden files.