I do believe that it does not matter what FORMAT a sound byte is used as. If the sound byte is copyrighted it does not matter if you convert it to mp3, ogg or WAV or any other format. it is the actual audio that is protected by a copyright not the format. and WAV is supported in the engine for export so I doubt that would be an. if the sound bytes are not legal they should not be used at if you don’t have a license to use them in the first place <3
and also just because a “TOOL” exists does not make it a legal action to use it. like the youtube downloader software. these softwares are Illegal and go against copyrights and youtube policy even though many people use them. is not a good idea to offer to your game users. you can support WAV and other formats
for loading sounds but you must have a disclaimer that states using copyrighted sounds is forbidden and can void your user agreement to protect yourself etc.
I’d talk to a lawyer before releasing the game. TOS can save your butt so be cautious.