Or you could install YTDLnis and (optionally) ReVanced, then click the download icon in the video box and you can download it in any other format.