The Mantis website uses "cookies". They are used to gathering "non-personal" information, e.g.
IP number, region, number of colors or screen resolution. We need it only to know about
web traffic. It helps us preparing our web.
You can block "cookies" using your browser preferences.