Folks -

As many of you know, the prettyPrinter does not do a great job of placing comments.  Has anyone out there improved this situation, preferably without too many other changes?  Pointers to any related work appreciated.

Thanks
	- Dan