Also server push ignores the client's cache, so it's not actually a good optimization unless they're things you know aren't in the cache or they're small enough

Also server push ignores the client's cache, so it's not actually a good optimization unless they're things you know aren't in the cache or they're small enough that youi can re-send them every time.