----- Original Message -----
> On 2/20/19 7:41 AM, Bastien Nocera wrote:.
"The default Gnome client is terrible and no one uses it"

This sort of statement pretty much invalidates any other statement you might
make in this email. It's just beyond silly.
 
It might invalidate his other statements for you, fine, but that does not mean it invalidates anything for others. There is nothing wrong with expressing personal opinions. Yeah, the sentence "no one uses it" is probably not based on actual data, but that does not mean that Michael might not have valid arguments.

 
It's hard for end-users to know what to install, where to install it from,
and how to get those GStreamer plugins installed.
 
Is it more difficult than installing Totem from elsewhere? I don't think so. 


The end-user interaction would be better by making them install from Flathub,
rather than trying to figure out how to install codecs from a third-party
repository. I don't _think_ it's better, I know it to be better.
 
And I know it is not. It's still far better to at least have some media player included by default, even if it's not able to play every media file that user has.