[tei-council] tie-c.org XML content type

Just come across issue #1584 https://github.com/TEIC/TEI/issues/1584 form February requesting that XML files should be served from tei-c.org with the media type application/xml. I think this should be done. Can Kevin help? More complex would be serving TEI files with the application/tei+xml media type, because we'd need a list of files (ie we shouldn't assume that all xml files on tei-c.org are TEI). Yet, serving p5subset.xml files as TEI files would probably be a good and useful start. Raff