The official #WWDC dog. Orange badge - serious business!