My patch is included in Racket 5.3.2.
Clean and polish some comments.