> There is at least one comment reporting a problem on GNOME, which is surely a different bug and should be filed separately
No need. I submitted 208947 with Gnome, and it was marked as a duplicate of this bug. Given identical corruption of /etc/hosts under similar circumstances, that's probably correct.
If 208947 is a different bug, then it's not a duplicate. Since the symptoms are identical, it should also be given a "high" priority.
> There is at least one comment reporting a problem on GNOME, which is surely a different bug and should be filed separately
No need. I submitted 208947 with Gnome, and it was marked as a duplicate of this bug. Given identical corruption of /etc/hosts under similar circumstances, that's probably correct.
If 208947 is a different bug, then it's not a duplicate. Since the symptoms are identical, it should also be given a "high" priority.