What is the current status of Leo packaging? Leo progressed to 4.1 in the meantime. (Not that 3.10 wasn't great. But 4.1 is much more great!) I used to be a happy user of Leo on Windows, so I want to see Leo packaged for Debian.