[ebidel]

Also relevant: "Cache-Aware Server Push (Client Side)" https://docs.google.com/document/d/1HhmyzKUPuWcCs8wG_GLSu3mv...

The Chrome team is hashing out potential solutions to the server push <-> browser cache problem.