Now you can download all the webms you want to your phone as mp4's or whatever with this simple script. Thank me later.
#!/bin/bash
set -e
IFS=$'\n\t'
url="${1:?No url given!}"
out_name=$(basename "$url")
output_path="${2:-${out_name%%.*}.mp4}"
log_level='warning'
ffmpeg -i "$url" -v "$log_level" "$output_path"
Usage ./script.sh https://is2.4chan.org/g/1721851369754000.webm
or ./script.sh https://is2.4chan.org/g/1721851369754000.webm name.mp4