Use the released doctools and some updates to the translation.