Rename mainual-mp3.scrbl to manual-mp3.scrbl