Update demo links in README.md

Author: gares

README.md

@@ -176,10 +176,10 @@ against it.
 
 <details><summary>(click to expand)</summary><p>
 
-- [demo1](examples/demo1/) and [demo3](examples/demo3/) declare and evolve a hierarchy up to
+- [demo1](examples_stdlib/demo1/) and [demo3](examples/demo3/) declare and evolve a hierarchy up to
   rings with various clients that are tested not to break when the hierarchy
   evolves
-- [demo2](examples/demo2/) describes the subtle triangular interaction between groups,
+- [demo2](examples_stdlib/demo2/) describes the subtle triangular interaction between groups,
   topological space and uniform spaces. Indeed, 1. all uniform spaces induce a
   topology, which makes them topological spaces, but 2. all topological groups
   (groups that are topological spaces such that the addition and opposite are