Da Roskilde Festival 2025 begyndte, havde de færreste formentlig skænket sikkerheden i den nærliggende Himmelsøen en tanke.