Delete play-pause.rkt~