document S3 cache more fully; fixes #12289