docs: Add small introduction to extensions section

Directly starting the section with a long list doesn't look very good :-) Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/352>
2024-10-19 03:37:40 +02:00
parent 3f631c7398
commit 3201a1f8ac
1 changed files with 3 additions and 0 deletions
@@ -29,6 +29,9 @@ Bugs should be reported to the GNOME [bug tracking system][bug-tracker].

 ## Extensions

+The following is a complete list of extensions that are provided by this
+project.
+
 * apps-menu

     Lets you reach an application using gnome 2.x style menu on the panel.