A tool to customize advanced GNOME 3 options