I've now got a slightly more elegant version which fetches the new poly lists, compares them with the old (via their MD5 hashes), asks the user if they're out-of-date, and then continues with the fill or cancels depending on the answer.
I've now got a slightly more elegant version which fetches the new poly lists, compares them with the old (via their MD5 hashes), asks the user if they're out-of-date, and then continues with the fill or cancels depending on the answer.