gmain: Note that g_source_destroy() can be called multiple times

https://bugzilla.gnome.org/show_bug.cgi?id=723360