That would certainly simplify the format; on the other hand, it would lead
to a lot of redundancy between the different <documentation> tags, which
could lead to conflicting data structures; so it's probably not a workable
solution.
-Yaron
There could be <documentation lang="en">, <documentation
lang="fr">,
<documentation lang="de">...