[galaxy-dev] User customization in the Galaxy tool pane

Dear colleagues, We are installing a local Galaxy server for a few groups working on high throughput sequencing. Some users like to customize their tool pane when they log in, e.g., by hiding certain tools that they do not need. I searched through the email list and noticed a somehow similar request: http://lists.bx.psu.edu/pipermail/galaxy-dev/2010-January/001619.html Kanwei (Galaxy developer) mentioned that this is possible via user preference table (http://bitbucket.org/galaxy/galaxy-central/issue/286/user-customization-in-t...). However, I can't find it in the current Galaxy server. Will this be included in the upcoming releases? Is there a time line? Thanks, Leon