Nope, youtube-dl is able to grab the DASH sources, which includes 4k, 1440p and 1080p. :) The DASH video and audio sources can then be muxed by mpv on playback.