Hi, Some more that I noticed: The following resources could not be created. The resource 'docs/bugs/Nhc13Test1.hs' could not be created because another resource exists whose path differs only by case. The resource 'docs/bugs/Nhc13Test10.hs' could not be created because another resource exists whose path differs only by case. The resource 'docs/bugs/Nhc13Test13.hs' could not be created because another resource exists whose path differs only by case. I think this is all of them. Again, not a big deal, but it might be nice to fix. Cheers, Tony