以下、手順です。

1.DownloadHelperアドオンをインストールして上記サイトにいく。
2.動画の再生ボタンを押す。(再生しないと動画のアドレスを特定できないため)
3.再生してDownloadHelperのアイコンがグリグリ動き出きだしたらアイコンの右横の三角を
  クリックして、リストに現れた動画ファイルをクリックする。
4.動画を再生しているタブを閉じる。(ただし同一IPアドレスでの同時ダウンロード数が1に
  制限されている場合。閉じないと、動画再生タブとDownloadHelperが同時並行で
  ダウンロードしようとするため、後から開始したDownloadHelperのダウンロードが始まらない。
  同時ダウンロード制限が無いサイトでは閉じる必要は無いが、速度は遅くなる)