The webserver where the ATDOR website was hosted is replaced by a new one two weeks ago. As a consequence, the bug reporting system did not work anymore due to a wrong setting.

I fixed it, so it's possible again to file bugs via the "Support and services" menu option.