change from ogg

Sound files in the .ogg format are very glitchy on windows 10, and results vary and problems are caused by the "Web Media Extension" app. if uninstalled .oggs work perfectly, lack of the ability to play them. It's bad to the point where if a explorer window doesn't respond, after a few seconds all of the said windows will crash, they will take upwards of ~1-5 min to rename, delete, or restore. So making resource packs with new sounds and music takes way longer. Its just tedious and frustrating. (personal problem, I know)

this probably can't be changed either (most likely hardcoded) and I would like to hear feedback on what you think about a change like this. (mp3 or wav would be good)