Re: Adding Doxygen (or other documentation tool) comments to GHC patches?