Revised entries in the multi-volume edition and TEI encoding: a case of the historical dictionary of Russian