Enviar por SMS: Extremals for the Sobolev inequality and the quaternionic contact Yamabe problem