For the record, I got a very basic Credits mod to work on Sonic Mania (Removed a lot of the credits and replaced one of the remaining ones with "Some guy" by using http://forums.sonicretro.org/index.php?showtopic=37174
Unpacked the Data.rsdk file, edited what I wanted, and repacked it. Loaded...