Cool, simple app. I can see this being really useful for teaching programming to beginners, although I'm curious where the name "Thonny" comes from? Couldn't find anything on the website, does anyone know?