rm obsolete synth.ppp2spec
rename: PropPreservingPartition.list_region -> .regions