+ @c make the side bar:
+@divId{homePageSideBar}
+@subheading Versión estable
+
+@c TODO: javascript to detect OS and suggest download?
+
+@ref{Descarga, Descarga de @versionStable}
+
+@ref{Manuales, Manuales de @versionStable}
+
+@subheading Versión de desarrollo
+
+@ref{Desarrollo, Descarga de @versionDevel}
+
+@ref{Desarrollo, Manuales de @versionDevel}
+