When custom tools beat built-in ones.

I'm not sure if there is anything we can do on our end - simply noting down that the bug might confuse users, plus some observations. We previously had a user report on Slack that the run button was ...