The texts that have been put into HTML files that will be added to the
application by the resource system are removed from the .ui file.