Various scripts I use to keep my repos on track with PDT sources.