pg_ctl stop -m immediateを実行した後、次回の起動時に必ず実行される処理はどれか。

2つのデータベース間でスキーマ構造の差分（Diff）を比較するための外部ツール（公式・準公式含む）として有名なものはどれか。