ARIB字幕パケットをmux/demuxするツールを探していたところ（まだFFmpeg 4.2の機能は試してない）、tsCaptionというツールを見つける。 my0nio.seesaa.net ……今までやろうとしていたことが全て解決してしまった。