So, should we rename the *.sgml files to *.xml, since they are actually now XML files?
Advantages: better automatic editor integration, better automatic syntax highlighting (e.g., on GitHub), less confusion in general in the future And maybe while we're at it, truncate the directory structure doc/src/sgml/ a bit? The intermediate directories had a meaning at some point, but now they're mostly empty. -- Peter Eisentraut http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
