This HTML ist stored in a separate richtext.html file.