PPx 1.72+1 を公開しました。

いくつかの機能強化と、細部の挙動調整をしています。