The reason I mentioned it is I distinctly remembered the MP3 copyright notice from the first screen of the game: https://i.warosu.org/data/vr/img/0015/50/1397802118061.png

Haha, I guess they did use my mp3 code - your memory is better than mine!

I see they have the Miles audio copyright in there too despite not only using it for the mp3 license.