Update content for html

1 files changed, 25 insertions, 12 deletions

diff --git a/gemfeed/2023-01-23-why-grapheneos-rox.html b/gemfeed/2023-01-23-why-grapheneos-rox.html
index a28172ff..17f0651e 100644
--- a/gemfeed/2023-01-23-why-grapheneos-rox.html
+++ b/gemfeed/2023-01-23-why-grapheneos-rox.html
@@ -12,6 +12,19 @@
 <br />
 <span class='quote'>Published at 2023-01-23T15:31:52+02:00</span><br />
 <br />
+<span>In 2021 I wrote "On Being Pedantic about Open-Source", and there was a section "What about mobile?" where I expressed the dilemma about the necessity of using proprietary mobile operating systems. With GrapheneOS, I found my perfect solution for personal mobile phone use. </span><br />
+<br />
+<a class='textlink' href='./2021-08-01-on-being-pedantic-about-open-source.html'>On Being Pedantic about Open-Source</a><br />
+<br />
+<span>What is GrapheneOS?</span><br />
+<br />
+<span class='quote'>GrapheneOS is a privacy and security-focused mobile OS with Android app compatibility developed as a non-profit open-source project. It&#39;s focused on the research and development of privacy and security technologies, including substantial improvements to sandboxing, exploits mitigations and the permission model.</span><br />
+<br />
+<span>GrapheneOS is an independent Android distribution based on the Android Open Source Project (AOSP) but hardened in multiple ways. Other independent Android distributions, like LineageOS, are also based on AOSP, but GrapheneOS takes it further so that it can be my daily driver on my phone.</span><br />
+<br />
+<a class='textlink' href='https://GrapheneOS.org'>https://GrapheneOS.org</a><br />
+<a class='textlink' href='https://LineageOS.org'>https://LineageOS.org</a><br />
+<br />
 <pre>
 Art by Joan Stark
                _.===========================._
@@ -35,19 +48,19 @@ Art by Joan Stark
   &#39;-&#39;-&#39;-&#39;--&#39;
 </pre>
 <br />
-<span>In 2021 I wrote "On Being Pedantic about Open-Source", and there was a section "What about mobile?" where I expressed the dilemma about the necessity of using proprietary mobile operating systems. With GrapheneOS, I found my perfect solution for personal mobile phone use. </span><br />
-<br />
-<a class='textlink' href='./2021-08-01-on-being-pedantic-about-open-source.html'>On Being Pedantic about Open-Source</a><br />
-<br />
-<span>What is GrapheneOS?</span><br />
-<br />
-<span class='quote'>GrapheneOS is a privacy and security-focused mobile OS with Android app compatibility developed as a non-profit open-source project. It&#39;s focused on the research and development of privacy and security technologies, including substantial improvements to sandboxing, exploits mitigations and the permission model.</span><br />
-<br />
-<span>GrapheneOS is an independent Android distribution based on the Android Open Source Project (AOSP) but hardened in multiple ways. Other independent Android distributions, like LineageOS, are also based on AOSP, but GrapheneOS takes it further so that it can be my daily driver on my phone.</span><br />
-<br />
-<a class='textlink' href='https://GrapheneOS.org'>https://GrapheneOS.org</a><br />
-<a class='textlink' href='https://LineageOS.org'>https://LineageOS.org</a><br />
+<h2 style='display: inline' id='table-of-contents'>Table of Contents</h2><br />
 <br />
+<ul>
+<li><a href='#why-grapheneos-rox'>Why GrapheneOS rox</a></li>
+<li>⇢ <a href='#user-profiles'>User Profiles</a></li>
+<li>⇢ <a href='#proxying-some-of-the-google-offerings-'>Proxying some of the Google offerings </a></li>
+<li>⇢ <a href='#google-play-sandboxing-'>Google Play Sandboxing </a></li>
+<li>⇢ <a href='#the-camera-and-the-cloud-'>The camera and the cloud </a></li>
+<li>⇢ <a href='#fine-granular-permissions'>Fine granular permissions</a></li>
+<li>⇢ <a href='#termux'>Termux</a></li>
+<li>⇢ <a href='#so-why-not-use-a-pure-linux-phone'>So, why not use a pure Linux phone?</a></li>
+<li>⇢ <a href='#small-grapheneos-downsides-'>Small GrapheneOS downsides </a></li>
+</ul><br />
 <h2 style='display: inline' id='user-profiles'>User Profiles</h2><br />
 <br />
 <span>GrapheneOS allows configuring up to 32 user profiles (including a guest profile) on a single phone. A profile is a completely different environment within the phone, and it is possible to switch between them instantly. Sessions of a profile can continue running in the background or be fully terminated. Each profile can have completely different settings and different applications installed.</span><br />