Thank you for playing!
Yes, I did not want to annoy the player with the same tune playing over and over again. More than one music for each level would have bypassed this concern, now that I think about it. Although maybe I should have kept the credits one looping.