Further progress in the GUI localization, with the inclusion know of a JavaScript function to mark strings for translation without actually translating them.