Website v1.0.1

For everyone: what changed in this release of the website. Released 2026-05-05.

Highlights

A small deployment fix shortly after launch.

Features

None.

Fixes

A production database connection setting was corrected.

Operations

None.

Upgrade notes

None.