This GNOME Shell extension adds entries to the shell's System menu to provide a quick way to connect and disconnect Bluetooth devices that were previously paired with the computer.

Please note that each user will need to enable the extension manually, for example using the gnome-tweaks application.