A tool to customize advanced GNOME 3 options

Comment 2 for bug 843455

Status changed to 'Confirmed' because the bug affects multiple users.