Update docs/TRANSLATORS.html