In general we should enhance the ToolRegistry to not just register one tool, but instead keep all and have
a UI in the settings where people can the change the tool used.
There is of course an issue entry for that at
(this would not be a solution to ���different tool per context���, but nevertheless we need it)