update links

CONTRIBUTING.md

@@ -8,7 +8,7 @@ Fork the repository and create a new branch for your contribution. Make your cha
 
 ## What to contribute
 
-See the [Roadmap](https://leanmachinelearning.github.io/roadmap/).
+See the [Roadmap](https://leanmachinelearning.org/roadmap/).
 
 #### Finding tasks
 

README.md

@@ -8,7 +8,7 @@
 </div>
 
 
-Website: [https://leanmachinelearning.github.io/](https://leanmachinelearning.github.io/)
+Website: [https://leanmachinelearning.org/](https://leanmachinelearning.org/)
 
 ## Goals
 
@@ -24,7 +24,7 @@ Please see our [contribution guide](CONTRIBUTING.md) and [code of conduct](CODE_
 
 For discussions, you can reach out to us on the [Lean prover Zulip chat](https://leanprover.zulipchat.com/).
 
-You can also see the [roadmap](https://leanmachinelearning.github.io/roadmap) for ideas on what to work on.
+You can also see the [roadmap](https://leanmachinelearning.org/roadmap) for ideas on what to work on.
 
 ## Current state of the library
 

tutorial/Manual/Front.lean

@@ -19,7 +19,7 @@ authors := []
 shortTitle := "Lean Machine Learning"
 %%%
 
-These tutorial pages will guide you through using the [Lean Machine Learning](https://leanmachinelearning.github.io) library.
+These tutorial pages will guide you through using the [Lean Machine Learning](https://leanmachinelearning.org) library.
 
 {include 0 Manual.Pages.Installation}
 

verso_blueprint/LMLBlueprint/Blueprint.lean

@@ -18,7 +18,7 @@ set_option verso.blueprint.summary.debugDiagnostics false
 
 #doc (Manual) "Lean Machine Learning" =>
 
-A Lean package for machine learning algorithms
+Blueprint for the bandit parts of the [Lean Machine Learning](https://leanmachinelearning.org) library.
 
 {include 0 LMLBlueprint.Chapters.Intro}
 {include 0 LMLBlueprint.Chapters.Algorithm}