Hi https://live.gnome.org/GnomeTweakTool "A tool to customize advanced GNOME 3 options." I don't think there is a release yet. So you might want to package the latest git snapshot. Do get in touch with upstream for details. I would be happy to do a review. Rahul