Document backup: minor fix to avoid filename collisions when docs have
same name and language