Delete other-stuff.rkt