Yes I thought about option 2 as well... But in fact I'm wondering if it is really necessary to keep the "cache" as it is a really small part of the page and if we add a new cache key in it, the cache might reload too often and we could loose some performance... don't you think?