Readline-to-Racket: Rename file to mzrl.rkt to rktrl.rkt