suggestion about thonny · Issue #866 · thonny/thonny · GitHub