Every morning after a release we have some end-users ho stumble into this : they don't know that a new Lino version has been installed and forget to refresh their browser. Of course this causes a series of problems because some end-users need time to realize that they must just hit Shift-Ctrl-R.