gdesktopappinfo: remove should_ping_mime_monitor