User Alerts

Select the kind of events you want to be notified about

Do not worry, this is not one of those intrusive push notifications systems. We will just use your preferences here to set a cookie for each of the categories you are interested in. Then your browser will show notifications in the bottom right corner, or in the bottom, should you use your smartphone to browse the site.

These windows are part of our site's design, they will only be shown when you visit our website, but will allow you to know about the most important facts without having to visit each individual page.

Once you have read the alert, notification or offer, just close each individual notice to remove it permanently, or remove some or all of them by just switching the corresponding toggle switch here.

Check whether you want to receive notifications at all. Then select the specific events you are interested in knowing about.

 Enable Notifications & alerts

 New versions

 Bug reports & publications

 Commercial (offers, discounts, coupons)