Re: #5161: Unblock gnome-nettool