Once we merge impermeable/waterproof-vscode#283, we will have a Help button in a prominent place.
Given the fact that the context menu has caused some problems in the past (#40, #67), and it's functionality is currently only available in Rocq, I propose we remove to reduce maintenance burden and rely on the button in the panel as the main way of providing help. (After merging the above PR)
@jim-portegies Thoughts?
Once we merge impermeable/waterproof-vscode#283, we will have a Help button in a prominent place.
Given the fact that the context menu has caused some problems in the past (#40, #67), and it's functionality is currently only available in Rocq, I propose we remove to reduce maintenance burden and rely on the button in the panel as the main way of providing help. (After merging the above PR)
@jim-portegies Thoughts?