Add margin notes

2021-04-09 05:52:30 +00:00
parent 8fb1b29aef
commit 38607ec437
5 changed files with 20 additions and 1 deletions
@@ -15,6 +15,7 @@ I run Debian on my computers and servers.
 ## Linux Distributions

 When people refer to the "flavour of Linux" they are talking about a Linux
+<span class="aside">Interjection: it's technically called GNU/Linux</span>
 distribution (distro). It mostly describes what software is distributed in its
 software repository.