Reverted to the official script for pull-request reasons.

Note to self, the GitHub client is horrible as single-file commits...