[Bug 1503175] Review Request: thonny - Python IDE for beginners