* TS input: we now check that the contents of the PAT has changed
    before updating it, instead of just relying on its version number.