Explain ADD invalidation more accurately

And also move it in to the `ADD` section, rather than being hidden in the `RUN` section.