I have found I am able to export HD videos I open in quicktime to HEVC. This option is not available on SD videos and the like. Is there a manual way to convert any video to HEVC? As far as I can tell the command line avconvert program does not support HEVC.