Some of our users only use SSH after setting up their workspaces, hence they don't see it's outdated for quite a long time. A special login banner would help letting them know. Any thoughts?