Sieve で Date ヘッダを補完する

たまに送られてくる Date ヘッダがついていないメールに対して Sieve で Date ヘッダをつける方法を調べたのでメモ。
date を使えばすんなりいけるかと思ったのですが、Sieve には strftime() のようなものがないので意外と大変でした。

結局、「Sieve: adding Date: header when missing」で紹介されていた、直近の received ヘッダから Date を取り出して貼り付けるという、以下のスクリプトが一番お手軽なようです。
std11 というのは Date ヘッダに使われている日付のフォーマットを表すみたいですね。