Seek improvements

We now redownload missing segments, if they disappear from the buffer
after an append.