Where are all the commands? · Issue #1326 · thonny/thonny · GitHub