You can download it here: Gmail Script
(Left click and download using the button that will appear at top-right next to the Share button)
Just add it as external script. It will automatically replace the included script with the same name.
(Reloaded users can do the same, in case the included script didn't reach the Reloaded release yet)