Cocoa texts and conversions?

Hi all,

The TEI Stylesheets system includes code for converting the old COCOA 
text encoding system:

<https://en.wikipedia.org/wiki/COCOA_(digital_humanities)>

into TEI. That code is not actually working; it produces invalid TEI, as 
you can see if you run "make test" and then validate cocoatest.xml or 
cocoatest2.xml. Obviously that should be fixed, but it occurs to me to 
wonder whether there's actually any utility at this point in maintaining 
a Cocoa-to-TEI converter at all. The only archive I'm aware of with 
texts in Cocoa is the Oxford Text Archive, and as far as I can see from 
a quick investigation, all of those files have been converted to TEI 
already.

Does anyone know of any significant texts encoded in Cocoa which have 
not yet been converted to TEI? If there are none left in the wild, we 
could quietly retire this particular conversion format and reduce our 
maintenance and testing burden.

Cheers,
Martin