GreenHack 2023

This edition’s archive has not yet been migrated. We are keeping the gap visible rather than inventing a recap.