portal_preferences Tool

This tool add the ability to manage user preferences in ERP5.