Make more responsive and less crashy by using Gtk.Application.Invoke()

Other changes:
- Support *not* marking edits as bot if there was a manual change
- Remove Pametzma's weird language separation syntax