Home.asciidoc

@@ -19,20 +19,19 @@ real-time guarantees based on an original dual kernel approach.
 ## Real-time system
 
 * **Git hosting**: https://xenomai.org/gitlab/xenomai[https://xenomai.org/gitlab/xenomai]
-* **Clone**: git://git.xenomai.org/xenomai.git[git://git.xenomai.org/xenomai.git]
+* **Clone**: git://git.xenomai.org/xenomai.git
 * **Maintenance branch**: stable/v3.0.x
 * **Development branch**: master
 * **Stable release**: v3.0.9
-https://xenomai.org/downloads/xenomai/stable/xenomai-3.0.9.tar.bz2[\[tarball\]]
-https://xenomai.org/downloads/xenomai/stable/xenomai-3.0.9.tar.bz2.sig[\[sig\]]
-https://xenomai.org/gitlab/xenomai/commit/120b1102[\[tag\]]
+https://xenomai.org/downloads/xenomai/stable/xenomai-3.0.9.tar.bz2[[tarball]]
+https://xenomai.org/downloads/xenomai/stable/xenomai-3.0.9.tar.bz2.sig[[sig]]
+https://xenomai.org/gitlab/xenomai/commit/120b1102[[tag]]
 * **Documentation**: 
-https://xenomai.org/documentation/xenomai-3/html/xeno3prm/[\[HTML\]]
-https://xenomai.org/documentation/xenomai-3/pdf/[\[PDF\]]
+https://xenomai.org/documentation/xenomai-3/html/xeno3prm/[[HTML]]
+https://xenomai.org/documentation/xenomai-3/pdf/[[PDF]]
 
 ## Interrupt pipeline (I-pipe)
 
-<div style="text-align: justify">
 The Cobalt real-time core depends on a patch to the mainline Linux
 kernel, which introduces a separate, high-priority execution stage for
 running out-of-band interrupt handlers immediately upon IRQ receipt,