WWDC 2020 still a go with a new online format