Updated TODO per new priorities.
Updated Haddawy/FOL representation.
Revised file format extensions.
Updated xml-apis version tag per upstream change.