If you’re making a web page you are not responsible for extensions or configuration changes that users make to their browser of their own accord. Those changes might result in their browser not loading tiles, but that’s the user’s problem.
A browser sending no-cache headers in response to a shift-reload is fine.
As a practical matter, we’re currently dropping all no-cache headers from public sites so adding them won’t have any practical effect either way.