adjust docs for drracket/check-syntax so the example
doesn't include paths directly into the plt tree

please include on the release branch.