Add diff-pgf.bash