--- a/firefox-devel.rst	Tue Oct 30 17:12:20 2012 +0200
+++ b/firefox-devel.rst	Tue Oct 30 19:27:48 2012 +0200
@@ -9,6 +9,9 @@
 Useful Firefox add-ons for developers.
 ======================================
 
+  https://addons.mozilla.org/en-US/firefox/collections/mozilla/webdeveloper/
+                Plug-ins for Web-development.
+
 Firebug.
 --------