Web site updated

2022-11-07

The web site was updated. The news section now offers an RSS feed. Older news are stored in the news archive.