+ @c make the side bar:
+@divId{homePageSideBar}
+@subheading Stable Release
+
+@c TODO: javascript to detect OS and suggest download?
+
+@ref{Download, Download @versionStable}
+
+@ref{Manuals, Manuals @versionStable}
+
+@subheading Unstable Release
+
+@ref{Development, Download @versionDevel}
+
+@ref{Development, Manuals @versionDevel}
+