Pātuhitia tēnei: Extremals for the Sobolev inequality and the quaternionic contact Yamabe problem