Change links to HTTPS

Change links that has HTTPS equivalent to HTTPS.

_dev/conf.py

@@ -186,7 +186,7 @@ htmlhelp_basename = 'QubesOSdev'
 
 # Example configuration for intersphinx: refer to the Python standard library.
 intersphinx_mapping = {
-    'python': ('http://docs.python.org/', None),
+    'python': ('https://docs.python.org/', None),
 #   'core-admin': ('https://dev.qubes-os.org/projects/core-admin/en/latest/', None),
 }
 

developer/debugging/windows-debugging.md

@@ -47,7 +47,7 @@ socat $tty1,raw $tty2,raw
 ...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(v=vs.85).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:
@@ -57,7 +57,7 @@ socat $tty1,raw $tty2,raw
     Waiting to reconnect...
     Connected to Windows 7 7601 x64 target at (Wed Mar 19 20:35:43.262 2014 (UTC + 1:00)), ptr64 TRUE
     Kernel Debugger connection established.
-    Symbol search path is: srv*c:\symbols*http://msdl.microsoft.com/download/symbols
+    Symbol search path is: srv*c:\symbols*https://msdl.microsoft.com/download/symbols
     Executable search path is:
     ... Retry sending the same data packet for 64 times.
     The transport connection between host kernel debugger and target Windows seems lost.
@@ -206,7 +206,7 @@ parse:
 > Waiting to reconnect...
 > Connected to Windows 7 7601 x64 target at (Wed Mar 19 20:56:31.371 2014 (UTC + 1:00)), ptr64 TRUE
 > Kernel Debugger connection established.
-> Symbol search path is: srv*c:\symbols*http://msdl.microsoft.com/download/symbols
+> Symbol search path is: srv*c:\symbols*https://msdl.microsoft.com/download/symbols
 > Executable search path is:
 > Windows 7 Kernel Version 7601 MP (1 procs) Free x64
 > Built by: 7601.18247.amd64fre.win7sp1_gdr.130828-1532

developer/general/devel-books.md

@@ -26,6 +26,6 @@ Below is a list of various books that might be useful in learning some basics ne
   - _[Pro Git](https://git-scm.com/book/en/v2)_, by Scott Chacon and Ben Straub (complete book available free online)
 
 - Useful books about Python:
-  - _[Programming in Python 3](http://www.qtrac.eu/py3book.html)_, by Mark Summerfield
-  - _[Rapid GUI Programming with Python and Qt](http://www.qtrac.eu/pyqtbook.html)_, by Mark Summerfield
+  - _[Programming in Python 3](https://www.qtrac.eu/py3book.html)_, by Mark Summerfield
+  - _[Rapid GUI Programming with Python and Qt](https://www.qtrac.eu/pyqtbook.html)_, by Mark Summerfield
     (Although note that [Qt is being replaced by GTK](/doc/usability-ux/#gnome-kde-and-xfce) in Qubes code.)

developer/general/gsoc.md

@@ -259,7 +259,7 @@ REMOVED as of January 2020: work is being done on this
 
 **Project**: Unikernel based firewallvm with Qubes firewall settings support
 
-**Brief explanation**: [blog post](http://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewall-for-qubesos/), [repo](https://github.com/talex5/qubes-mirage-firewall)
+**Brief explanation**: [blog post](https://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewall-for-qubesos/), [repo](https://github.com/talex5/qubes-mirage-firewall)
 
 **Expected results**: A firewall implemented as a unikernel which supports all the networking-related functionality as the default sys-firewall VM, including configuration via Qubes Manager. Other duties currently assigned to sys-firewall such as the update proxy may need to be appropriately migrated first.
 

introduction/support.md

@@ -176,7 +176,7 @@ information in your message. A great way to provide your hardware details is by
 [generating and submitting a Hardware Compatibility List (HCL)
 report](/doc/how-to-use-the-hcl/#generating-and-submitting-new-reports), then
 linking to it in your message. [Ask questions the smart
-way.](http://www.catb.org/esr/faqs/smart-questions.html)
+way.](https://www.catb.org/esr/faqs/smart-questions.html)
 
 ### Be patient
 
@@ -309,7 +309,7 @@ account is in no way required, expected, or encouraged. Many discussants
 [mailing lists](https://en.wikipedia.org/wiki/Electronic_mailing_list),
 interacting with them solely through plain text email with
 [MUAs](https://en.wikipedia.org/wiki/Email_client) like
-[Thunderbird](https://www.thunderbird.net/) and [Mutt](http://www.mutt.org/).
+[Thunderbird](https://www.thunderbird.net/) and [Mutt](https://www.mutt.org/).
 The Google Groups service is just free infrastructure, and we [distrust the
 infrastructure](/faq/#what-does-it-mean-to-distrust-the-infrastructure). This
 is why, for example, we encourage discussants to use [Split