⁹The access to the translated texts using TEXTS.get is described in the ”Hello World” UI background chapter in Section 3.4.