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">...