Closed
Description
This is okay for now, but it should be improved eventually to talk about browser state separately from the cache. IOW, define push as part of the browser history (prehistory) because this is entirely separate from a cache (even if they use the same storage handles).
Originally posted by @royfielding in #3407
Push isn't part of the cache, but it does use the definition of "cacheable" -- do you think it should be pointing elsewhere?
This is a very murky area, still.