[HTTPS-Everywhere] Fedora Project patch

[Osama Khalid]

The attached patch includes two currently-uncovered parts of
fedoraproject.org: docs.fedoraproject.org and start.fedoraproject.org.

This patch is probably too travel to be covered by copyright but in
case it is eligible, it is licensed under GPLv2+.

--Osama Khalid
-------------- next part --------------
diff --git a/src/chrome/content/rules/Fedora.xml b/src/chrome/content/rules/Fedora.xml
index 4415022..1b01993 100644
--- a/src/chrome/content/rules/Fedora.xml
+++ b/src/chrome/content/rules/Fedora.xml
@@ -1,7 +1,10 @@
 <ruleset name="Fedora Project">
   <target host="www.fedoraproject.org" />
   <target host="fedoraproject.org" />
+  <target host="start.fedoraproject.org" />
+  <target host="docs.fedoraproject.org" />
 
-  <rule from="^http://(www\.)?fedoraproject\.org/" to="https://fedoraproject.org/"/>
+  <rule from="^http://(www\.)?fedoraproject\.org/" to="https://fedoraproject.org/" />
+  <rule from="^http://(start|docs)\.fedoraproject\.org" to="https://$1.fedoraproject.org" />
 </ruleset>