GitHub repository: org-acidburn0zzz/tweaks-system-menu
Description: Gnome Shell Extension to put Gnome Tweaks in the system menu.