diff --git a/repos/demo/doc/demo.txt b/repos/demo/doc/demo.txt
index 53f41a0b21..230aa55b97 100644
--- a/repos/demo/doc/demo.txt
+++ b/repos/demo/doc/demo.txt
@@ -9,8 +9,7 @@ Genode is a construction kit for building special-purpose operating systems
 out of a number of components such as device drivers, protocol
 stacks, and applications. Those components are organized using only a few
 yet powerful architectual prinicples, and thereby, allow for the
-composition of a wide range of different systems. The live CD is meant to
-showcase how far the concept scales as of today.
+composition of a wide range of different systems.
 
 The following introduction will provide you with hands-on experience with
 the basics of Genode:
@@ -52,7 +51,7 @@ scout is not directly available to launchpad anymore.
   started the scout tutorial browser.
 
 In Figure [img/setup], you see an illustration of the current setup (slightly
-simplified, leaving out the main menu and the other parts of the live CD). At
+simplified). At
 the very bottom, there are the kernel, core, and init. Init has started the
 framebuffer driver, the timer driver, the nitpicker GUI server, and launchpad
 as it children. Launchpad, in turn, has started the second instance of scout as
@@ -202,15 +201,15 @@ can further be combined with compatibility to existing applications
 executed on virtual machines.
 
 More details, architectural and technical documents, our road
-map, and the complete source code are available at [http://genode.org].
+map, and the complete source code are available at [https://genode.org].
 
 The development of the Genode OS Framework is conducted as
 an open-source community project, coordinated by Genode Labs,
 a company founded by the original authors of Genode.
 If you are interested in supporting our project through
 participation or funding, please consider joining our
-community ([http://genode.org]) or contact Genode Labs
-([http://www.genode-labs.com]).
+community ([https://genode.org]) or contact Genode Labs
+([https://www.genode-labs.com]).
 
 ! info@genode-labs.com
 
diff --git a/repos/demo/src/app/scout/doc.cc b/repos/demo/src/app/scout/doc.cc
index 3ef5c76d4d..8f683571cf 100644
--- a/repos/demo/src/app/scout/doc.cc
+++ b/repos/demo/src/app/scout/doc.cc
@@ -75,8 +75,7 @@ Document *create_document()
 	b0->append_plaintext("out of a number of components such as device drivers, protocol", &plain_style);
 	b0->append_plaintext("stacks, and applications. Those components are organized using only a few", &plain_style);
 	b0->append_plaintext("yet powerful architectual prinicples, and thereby, allow for the", &plain_style);
-	b0->append_plaintext("composition of a wide range of different systems. The live CD is meant to", &plain_style);
-	b0->append_plaintext("showcase how far the concept scales as of today.", &plain_style);
+	b0->append_plaintext("composition of a wide range of different systems.", &plain_style);
 	doc->append(b0);
 
 	b0 = new Block();
@@ -174,7 +173,7 @@ Document *create_document()
 	b0->append_plaintext("In Figure", &plain_style);
 	b0->append_plaintext("setup", &link_style);
 	b0->append_plaintext(", you see an illustration of the current setup (slightly", &plain_style);
-	b0->append_plaintext("simplified, leaving out the main menu and the other parts of the live CD). At", &plain_style);
+	b0->append_plaintext("simplified). At", &plain_style);
 	b0->append_plaintext("the very bottom, there are the kernel, core, and init. Init has started the", &plain_style);
 	b0->append_plaintext("framebuffer driver, the timer driver, the nitpicker GUI server, and launchpad", &plain_style);
 	b0->append_plaintext("as it children. Launchpad, in turn, has started the second instance of scout as", &plain_style);
@@ -424,7 +423,7 @@ Document *create_document()
 	b0 = new Block();
 	b0->append_plaintext("More details, architectural and technical documents, our road", &plain_style);
 	b0->append_plaintext("map, and the complete source code are available at", &plain_style);
-	b0->append_plaintext("http://genode.org", &link_style);
+	b0->append_plaintext("https://genode.org", &link_style);
 	b0->append_plaintext(".", &plain_style);
 	chapter->append(b0);
 
@@ -435,10 +434,10 @@ Document *create_document()
 	b0->append_plaintext("If you are interested in supporting our project through", &plain_style);
 	b0->append_plaintext("participation or funding, please consider joining our", &plain_style);
 	b0->append_plaintext("community (", &plain_style);
-	b0->append_plaintext("http://genode.org", &link_style);
+	b0->append_plaintext("https://genode.org", &link_style);
 	b0->append_plaintext(") or contact Genode Labs", &plain_style);
 	b0->append_plaintext("(", &plain_style);
-	b0->append_plaintext("http://www.genode-labs.com", &link_style);
+	b0->append_plaintext("https://www.genode-labs.com", &link_style);
 	b0->append_plaintext(").", &plain_style);
 	chapter->append(b0);