How does one download a video from a makertube/peertube post?

(posting this via latest version of Servo browser btw)

Edit: yt-dlp can do it. (and I used youtube-dl-gui)