timtallop

Thank you very much for the thorough answer Mr. Mansour.

You have given me the idea to use cookies instead of inline JS for this use case, which would make it possible for the pages to get cached.