minor fix to Redex docs
fix treatment of an old-style ".plt" file as a package
raco setup: fix command-line argument handling