Thanks. But that is probably the Proton mail app that Izzy downloaded from Proton. Years ago Tutanota made changes to their app to DeGoogle it, and then F-Droid could include it. I’m a kind of DeGoogle person trying to avoid Google as much as possible and that is the reason I am asking when the Proton Mail app will be in the main F-Droid repo.