Got rid of ElementTree

Since we no longer use XML, it's time to get rid of ElementTree both
in imports and documentation.