PR Checklist

Developer Pull Request Checklist

To submit a pull request for review add the tag "PR-needs-review" to the request (and remove "PR-needs-work" if it is there).

In general (barring edge cases), PRs should meet the following before submitting for review:

• explain the scope, i.e. what changed and what should be tested, what you did test, ...
• deployment, dependencies across cocalc's components
• No debugging console.log messages.
• Any code you're introducing is actually used.
• Non-obvious code has some sort of comments, so it's possible for somebody else to understand the code.
• Screenshots if relevant.