This is a bug-fix release to address a flaw in DrRacket v5.3.2
concerning interactions between the contour window and the syntax
coloring.