try to make auto-reloading changed documents a bit more reliable
update translations
update translations
fix race condition in document change detection (regression introduced with r8970)