pull down to refresh

Usually you can only edit for the first 10 minutes a post is up.
You could write the new script as a comment and pin it to the top of the comments.
That might work better than deleting and writing a new post. Although i could also see how that is cleaner.
Either way, no worries!