Үүнийг мессежээр илгээх: Extremals for the Sobolev inequality and the quaternionic contact Yamabe problem