plt-racket: fix man
putty: fix audit