Redundancy library is integrated in the Library Manager [...] for HMI devices : Also
of the library POUs [...] in Device Tree Settings Top-level Device