Updated Installation (markdown)

Installation.md

@@ -1,7 +1,8 @@
 This tutorial describes a complete installation and configuration of ReCodEx on
-CentOS 8 system as it was conducted in August 2020. Details of this description
+[CentOS](https://www.centos.org/) 8 system as it was conducted in August 2020. Details of this description
 may vary for other systems (RPM packages are released for CentOS and Fedora
-only) and possibly also change in the future.
+only) and possibly also change in the future. *Recent remark:* we have switched
+our servers to [AlmaLinux](https://almalinux.org/), a CentOS successor.
 
 We are trying to make this tutorial for linux noobs, but some admin skills are
 still required.
@@ -371,7 +372,7 @@ The `hwgroup` holds an ID of hardware group -- a group of workers with the same
 capabilities (i.e., running on the same hardware with the same system
 configuration). This is by default set to the only hwgroup present in
 init fixtures used to initialize the database for the first time. Optionally,
-you might want to restrict runtime environments the worker supports (`headers`,
+you might want to restrict runtime environments the worker supports (`headers` > 
 `env`). The IDs correspond to IDs in the database and the default config file
 holds all specified runtimes in the initial database fill.