Comment 7 for bug 1763763

Thanks Marco but it should be fine, that gtk change is low priority and I can have a look, it should be easy enough (basically adding a static list of .desktop names to ignore)