Re: #6461: Please create a f25-gnome side tag