Issue #2400241 by greggles: Typo in description of robots-notranslate option.