A user tried the Profiler (out of curiosity, without a real need for it), but then didn't know how to remove the profiler toolbar button, and the shortcuts were blocking another add-on. They searched the documentation but didn't find help there.
It would be nice to add some easy-to-find documentation for that situation.
The action is actually very simple: Right-click on the button, and click "Remove from Toolbar".
But it may not be obvious to users that this is the way to disable the profiler and its shortcuts, so the documentation should clarify this relationship.
A user tried the Profiler (out of curiosity, without a real need for it), but then didn't know how to remove the profiler toolbar button, and the shortcuts were blocking another add-on. They searched the documentation but didn't find help there.
It would be nice to add some easy-to-find documentation for that situation.
The action is actually very simple: Right-click on the button, and click "Remove from Toolbar".
But it may not be obvious to users that this is the way to disable the profiler and its shortcuts, so the documentation should clarify this relationship.