Aside: only just noticed now the WWDC branding change to VVVDC, which appears to have happened in 2024