If the domain does not need to match the .desktop (and I don't think it does), I'm fine with you changing the gettext domain. Sorry about that!
I think there is even a way to fix the original bug without renaming the .desktop by adding a StartupWMClass field to the .desktop. I wasn't really aware of that at the time; I just knew that Python apps commonly had a problem when the .desktop file name didn't match the binary filename.
Oh I see.
If the domain does not need to match the .desktop (and I don't think it does), I'm fine with you changing the gettext domain. Sorry about that!
I think there is even a way to fix the original bug without renaming the .desktop by adding a StartupWMClass field to the .desktop. I wasn't really aware of that at the time; I just knew that Python apps commonly had a problem when the .desktop file name didn't match the binary filename.