Use HTTPS everywhere (mechanical edit using util from https-everywhere)

Ref: https://github.com/EFForg/https-everywhere/tree/master/utils/rewriter

```Shell
~/src/EFForg/https-everywhere/utils/rewriter/rewriter.js .
```

developer/code/coding-style.md

@@ -124,7 +124,7 @@ Source Code management (Git) guidelines
 
 -   Use git to maintain all code for Qubes project.
 
--   Before you start using git, make sure you understand that git is a decentralized Source Code Management system, and that it doesn't behave like traditional, centralized source code management systems, such as SVN. Here's a good [introductory book on git](http://git-scm.com/book). Read it.
+-   Before you start using git, make sure you understand that git is a decentralized Source Code Management system, and that it doesn't behave like traditional, centralized source code management systems, such as SVN. Here's a good [introductory book on git](https://git-scm.com/book). Read it.
 
 -   Qubes code is divided into many git repositories. There are several reasons for that:
     -   This creates natural boundaries between different code blocks, enforcing proper interfaces, and easing independent development to be conducted on various code parts at the same time, without the fear of running into conflicts.

developer/code/license.md

@@ -13,4 +13,4 @@ Qubes OS License
 
 Qubes is a compilation of software packages, each under its own license. The compilation is made available under the GNU General Public License version 2.
 
-The full text of the GPL v2 license can be found [here](http://www.gnu.org/licenses/gpl-2.0.html).
+The full text of the GPL v2 license can be found [here](https://www.gnu.org/licenses/gpl-2.0.html).

developer/debugging/windows-debugging.md

@@ -44,7 +44,7 @@ Things get complicated if you need to perform kernel debugging or troubleshoot p
     ...but there is a catch. Xen seems to process the traffic that goes through serial ports and changes all **0x0a** bytes into **0x0d, 0x0a** pairs (newline conversion). I didn't find a way to turn that off (setting ptys to raw mode didn't change anything) and it's not mentioned anywhere on the Internet, so maybe it's something on my system. If the above script works for you then you don't need anything more in dom0.
 
 -   On the *target* system, run `bcdedit /set debug on` on the console to turn on kernel debugging. It defaults to the first serial port.
--   On the *host* system, install [WinDbg](http://msdn.microsoft.com/en-us/library/windows/hardware/ff551063(v=vs.85).aspx) and start the kernel debug (Ctrl-K), choose **com1** as the debug port.
+-   On the *host* system, install [WinDbg](https://msdn.microsoft.com/en-us/library/windows/hardware/ff551063%28v=vs.85%29.aspx) and start the kernel debug (Ctrl-K), choose **com1** as the debug port.
 -   Reboot the *target* VM.
 -   Run the above shell script in dom0.
 -   If everything is fine you should see the proper kernel debugging output in WinDbg. However, if you see something like that:

developer/general/gsoc.md

@@ -508,7 +508,7 @@ details in [#2618](https://github.com/QubesOS/qubes-issues/issues/2618).
 
 **Project**: Qubes Converters
 
-**Brief explanation**: One of the pioneering ideas of Qubes is to use disposable virtual machines to convert untrustworthy files (such as documents given to journalists by unknown and potentially malicious whistleblowers) into trustworthy files.  See [Joanna's blog on the Qubes PDF Convert](http://theinvisiblethings.blogspot.co.uk/2013/02/converting-untrusted-pdfs-into-trusted.html) for details of the idea.  Joanna has implemented a prototype for PDF documents.  The goal of this project would be to generalize beyond the simple prototype to accommodate a wide variety of file formats, including Word documents, audio files, video files, spreadsheets, and so on.  The converters should prioritise safety over faithful conversion.  For example the Qubes PDF converter typically leads to lower quality PDFs (e.g. cut and paste is no longer possible), because this makes the conversion process safer.
+**Brief explanation**: One of the pioneering ideas of Qubes is to use disposable virtual machines to convert untrustworthy files (such as documents given to journalists by unknown and potentially malicious whistleblowers) into trustworthy files.  See [Joanna's blog on the Qubes PDF Convert](https://theinvisiblethings.blogspot.co.uk/2013/02/converting-untrusted-pdfs-into-trusted.html) for details of the idea.  Joanna has implemented a prototype for PDF documents.  The goal of this project would be to generalize beyond the simple prototype to accommodate a wide variety of file formats, including Word documents, audio files, video files, spreadsheets, and so on.  The converters should prioritise safety over faithful conversion.  For example the Qubes PDF converter typically leads to lower quality PDFs (e.g. cut and paste is no longer possible), because this makes the conversion process safer.
 
 **Expected results**: We expect that in the timeframe, it will be possible to implement many converters for many file formats.  However, if any unexpected difficulties arise, we would prioritise a small number of safe and high quality converters over a large number of unsafe or unuseful converters.
 

developer/general/style-guide.md

@@ -60,7 +60,7 @@ The following **colors** are currently being used on the Qubes website and docum
 
 ## Icons
 
-Currently, all the icons on the Qubes-OS.org website are generated using [FontAwesome](http://fortawesome.github.io/Font-Awesome/).
+Currently, all the icons on the Qubes-OS.org website are generated using [FontAwesome](https://fortawesome.github.io/Font-Awesome/).
 
 *As more custom work is done to generate icons for the operating system itself, they will be added here!*
 

developer/releases/1.0/release-notes.md

@@ -9,7 +9,7 @@ redirect_from:
 Qubes R1.0 Release Notes
 ========================
 
-Detailed release notes in [this blog post](http://blog.invisiblethings.org/2012/09/03/introducing-qubes-10.html).
+Detailed release notes in [this blog post](https://blog.invisiblethings.org/2012/09/03/introducing-qubes-10.html).
 
 Known issues
 ------------

developer/releases/2.0/release-notes.md

@@ -9,7 +9,7 @@ redirect_from:
 Qubes R2.0 Release Notes
 ========================
 
-Detailed release notes in [this blog post](http://blog.invisiblethings.org/2014/09/26/announcing-qubes-os-release-2.html)
+Detailed release notes in [this blog post](https://blog.invisiblethings.org/2014/09/26/announcing-qubes-os-release-2.html)
 
 New features since 1.0
 ----------------------