Some of it also comes from our video files for intros and credits it would seem. We're likely to remove all the default MV music since we aren't using any of it, plus we'll look into TYNI PNG as you suggested. We are looking into it. As for the user token, that can be skipped. Though next update it's being relegated, since it's only for gamejolt trophy integration, to a main menu option rather than on boot.