Renames the play125 formula to play1253 to better reflect what it installs :)