<p>In addition, some services offered through our web servers use cookies to store custom settings across sessions. These are in particular: Jitsi (the specified user name is stored), OpenGrok (search preferences), WordPress (user name, URL and email address) and EtherPad (user name and text colour assigned to it). It is not necessary to provide a username in order to use these services.</p> <p>When accessing our website, users are informed by a banner about the use of cookies for analysis purposes, and users are referred to this privacy policy.