Updated appearances to point to Devoxx summary