I've made the commit. The element SOURCES/SOURCE/VERSION/CATEGORY is now (in some shallow and some deep sense) back to SOURCES/SOURCE/VERSION/CAPABILITY Andrew dalke at dalkescientific.com