Deallocate Name
Gnome-latex is not maintained anymore, so why does it keep its name? Shouldn’t all Gnome Apps being maintained. I would suggest to deallocate the name and to give it to some app which would deserve this name. Setzer (https://github.com/cvfosammmm/Setzer) for example really feels like a gnome app is actively developed.