DokuWiki plugin to compare several editions of the same text in different versions or languages