Webmin module to personalize Webmin user sessions
