Media Player .7.1 - Hide extensions not altogether working…

I’m running the latest SP and Media Player .71 - shouldn’t the Hide File Extensions also hide the “.dvdmedia” extension? 

Whoops, yes those should be hidden as well.

Will be fixed in the next version.