[bug] filenames with a comma in them will render incorrectly in the file tree #830
Description
Describe the bug
.
To reproduce
.
Sourcebot deployment information
Sourcebot version (e.g. v3.0.1): latest
Additional information
No response
{{ message }}