Ditched elementtree, which no longer appears to be required