> Unless there are objections, I'll try to work on a patch that either documents that PIs are lost, or optionally adds them to the tree when parsing (depending on how difficult that turns out to be).

Please do. It should not be difficult at all to make the parser create PI objects (or comments).

Note, however, that this needs to be done in both the Python implementation and the parser of celementtree.