Re #1542 New property: notranslate_do_translations -- triggers the translations on and off.