Update hardware-related docs

- Add links to "just works" list
- Improve organization
- Standardize orthography
- Wrap text
- Remove very old ML link
- Minor wording improvements

user/hardware/certified-hardware.md

@@ -19,8 +19,7 @@ We aim for these vendors to be as diverse as possible in terms of geography, cos
   We take no responsibility for any vendor's manufacturing, shipping, payment, or other practices; nor can we control whether physical hardware is modified (whether maliciously or otherwise) <i>en route</i> to the user.
 </div>
 
-There are also other hardware models on which we have tested Qubes OS.
+You may also be interested in the community-curated list of [laptops that "just work" with Qubes OS](https://forum.qubes-os.org/t/laptops-that-just-work-with-qubes-os-r4-0-4/5560).
-See [Hardware Testing](/doc/hardware-testing/) for details.
 
 ## Qubes-certified Laptops
 

user/hardware/hardware-testing.md

@@ -6,35 +6,48 @@ ref: 145
 title: Hardware testing
 ---
 
-The Qubes developers test Qubes OS on certain hardware models.
+The Qubes developers test Qubes OS on certain hardware models. The tested
-The tested hardware described on this page differs from [Qubes Certified Hardware](/doc/certified-hardware/) in a few key ways:
+hardware described on this page differs from [certified
+hardware](/doc/certified-hardware/) in a few key ways:
 
-- Qubes Certified Hardware has to meet more demanding standards than hardware that is merely tested.
+- Certified hardware has to meet more demanding standards than hardware that is
-- All Qubes Certified Hardware is tested, but not all tested hardware is certified.
+  merely tested.
-- A specific certified configuration is guaranteed to be supported on specific versions of Qubes OS, whereas hardware testing provides no guarantees.
+- All certified hardware is tested, but not all tested hardware is certified.
+- A specific certified configuration is guaranteed to be supported on specific
+  versions of Qubes OS, whereas hardware testing provides no guarantees.
 
-In general, you can think of tested hardware as "unofficial recommended" hardware:
+In general, you can think of tested hardware as "unofficial recommended"
+hardware. Here's an overview of the various hardware lists:
 
-- [Qubes Certified Hardware](/doc/certified-hardware/) --- Qubes developer certified, officially recommended
+- [Certified hardware](/doc/certified-hardware/) --- Qubes developer certified,
-- Hardware Testing (this page) --- Qubes developer tested, unofficially recommended
+  officially recommended
-- [Hardware Compatibility List (HCL)](/hcl/) --- community test results, neither recommended nor disrecommended
+- Hardware testing (this page) --- Qubes developer tested, unofficially
-- ["Just works" for R4.0.4](https://forum.qubes-os.org/t/laptops-that-just-work-with-qubes-os-r4-0-4/5560) --- compiled & recommended by community members (unofficial)
+  recommended
+- [Laptops that "just work" with Qubes
+  OS](https://forum.qubes-os.org/t/laptops-that-just-work-with-qubes-os-r4-0-4/5560)
+  --- community-curated list, unofficially recommended
+- [Hardware compatibility list (HCL)](/hcl/) --- community test results,
+  neither recommended nor disrecommended
 
 ## Tested Models
 
-These hardware models have been (and continue to be) tested and work well with Qubes OS:
+These hardware models have been (and continue to be) tested and work well with
+Qubes OS:
 
 - Lenovo ThinkPad X1 Carbon Gen 5 (i7-7600U)
 - Lenovo ThinkPad x230 (i7-3520M)
 
-Note: The Lenovo X and T series are similar enough to assume similar compatibility of the matching model from the other series.
+Note: The Lenovo X and T series are similar enough to assume similar
+compatibility of the matching model from the other series.
 
 ## Desired Models
 
-The Qubes devs would like to test these models, but the hardware is not available to us.
+The Qubes devs would like to test these models, but the hardware is not
-If anyone is willing to lend or donate these models to us, we would be happy to test them:
+available to us. If anyone is willing to lend or donate these models to us, we
+would be happy to test them:
 
 - Lenovo Thinkpad T or X series with Intel 8th Gen CPU and integrated graphics
 - Dell Latitude with Intel 8th Gen CPU and integrated graphics
 
-Note: The Lenovo X and T series are similar enough to assume similar compatibility of the matching model from the other series.
+Note: The Lenovo X and T series are similar enough to assume similar
+compatibility of the matching model from the other series.

user/hardware/hcl.md

@@ -12,5 +12,5 @@ redirect_from:
 - /wiki/HCLR1/
 - /wiki/HCL-R2B2/
 ref: 143
-title: Hardware Compatibility List (HCL)
+title: Hardware compatibility list (HCL)
 ---

user/hardware/system-requirements.md

@@ -13,14 +13,12 @@ title: System requirements
 
 <div class="alert alert-warning" role="alert">
   <i class="fa fa-exclamation-triangle"></i>
-  <b>Notice:</b>
+  <b>Notice:</b> The system requirements on this page are <em>necessary, but
-  The system requirements on this page are <em>necessary, but not
+  not sufficient,</em> for Qubes compatibility at a minimal or recommended
-  sufficient,</em> for Qubes compatibility at a minimal or recommended level.
+  level. In other words, just because a computer satisfies these requirements
-  In other words, just because a computer satisfies these requirements doesn't
+  doesn't mean that Qubes will successfully install and run on it. We strongly
-  mean that Qubes will successfully install and run on it. We strongly
+  recommend consulting the <a href="#choosing-hardware">resources below</a>
-  recommend consulting the <a href="/hcl/">Hardware Compatibility List</a> to
+  when selecting hardware for Qubes.
-  verify that Qubes can install and run on your specific model in the ways you
-  need it to.
 </div>
 
 ## Minimum
@@ -52,20 +50,28 @@ title: System requirements
 
 ## Choosing Hardware
 
-- Please see the [Hardware Compatibility List](/hcl/) for a compilation of
+We recommend consulting these resources when selecting hardware for Qubes OS:
-  hardware reports generated and submitted by users across various Qubes
+
-  versions. (For more information about the HCL itself, see [here](/doc/hcl/).)
+- [Certified hardware](/doc/certified-hardware/) --- Qubes developer certified,
-- See the [Certified Hardware](/doc/certified-hardware/) page.
+  officially recommended
-- See the [Hardware Testing](/doc/hardware-testing/) page.
+- [Hardware testing](/doc/hardware-testing/) --- Qubes developer tested,
+  unofficially recommended
+- [Laptops that "just work" with Qubes
+  OS](https://forum.qubes-os.org/t/laptops-that-just-work-with-qubes-os-r4-0-4/5560)
+  --- community-curated list, unofficially recommended
+- [Hardware compatibility list (HCL)](/hcl/) --- community test results,
+  neither recommended nor disrecommended
 
 ## Important Notes
 
 - **Installing Qubes in a virtual machine is not recommended, as it uses its
   own bare-metal hypervisor (Xen).**
-- Qubes **can** be installed on systems which do not meet the recommended
+
+- Qubes **can** be installed on many systems that do not meet the recommended
   requirements. Such systems will still offer significant security improvements
   over traditional operating systems, since things like GUI isolation and
   kernel protection do not require special hardware.
+
 - Qubes **can** be installed on a USB flash drive or external disk, and testing
   has shown that this works very well. A fast USB 3.0 flash drive is
   recommended for this. (As a reminder, its capacity must be at least 32 GiB.)
@@ -76,11 +82,11 @@ title: System requirements
   other computers in order to boot into Qubes. In addition to the convenience
   of having a portable copy of Qubes, this allows users to test for hardware
   compatibility on multiple machines (e.g., at a brick-and-mortar computer
-  store) before deciding on which computer to purchase. (See
+  store) before deciding on which computer to purchase. (See [generating and
-  [hcl-report](/doc/how-to-use-the-hcl/#generating-and-submitting-new-reports)
+  submitting HCL
-  for advice on hardware compatibility testing.) Remember to change the devices
+  reports](/doc/how-to-use-the-hcl/#generating-and-submitting-new-reports) for
+  advice on hardware compatibility testing.) Remember to change the devices
   assigned to your NetVM and USB VM if you move between different machines.
-- [Advice on finding a VT-d capable
+
-  notebook](https://groups.google.com/d/msg/qubes-users/Sz0Nuhi4N0o/ZtpJdoc0OY8J).
 - You can check whether an Intel processor has VT-x and VT-d on
   [ark.intel.com](https://ark.intel.com/content/www/us/en/ark.html#@Processors).