Downtime: Monday, August 17, 09:00–11:00 — scheduled maintenance.
This reverts merge request !167 (merged)