nits in README and INSTALL following #3712

Author: ma2bd

INSTALL.md

@@ -1,6 +1,12 @@
-# Installation for Mac OS (Intel / M1 / M2)
+# Installation
 
-## Basics
+Make sure to have enough free disk space for Rust compilation.
+
+Windows users should use [WSL](https://learn.microsoft.com/en-us/windows/wsl/install) and follow instructions for Linux.
+
+## Installation for Mac OS (Intel / M1 / M2)
+
+### Basics
 
 * Xcode command line tools
     - `xcode-select --install`
@@ -15,23 +21,20 @@
 * Protoc
     - `brew install protobuf`
 
-## Services
-
-* https://aws.amazon.com/cli/
-* https://docs.docker.com/desktop/mac/install/
-
-## Additional tooling required by tests
+### Additional tooling required by tests
 
 * `brew install jq`
 * `cargo install cargo-rdme`
 * `cargo install taplo-cli`
 * `cargo install cargo-all-features`
 * `cargo install cargo-machete`
+* https://docs.docker.com/desktop/mac/install/
 
-# Installation for Linux
+## Installation for Linux
 
-## Basics
+### Basics
 
+* [Git](https://git-scm.com/downloads)
 * Rust
     - `curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh`
     - `rustup target add wasm32-unknown-unknown`
@@ -42,20 +45,16 @@
 
 Alternatively, we have added experimental Nix support (see `flake.nix`).
 
-## Services
-
-* https://aws.amazon.com/cli/
-* https://docs.docker.com/engine/install/
-
-## Additional tooling
+### Additional tooling required by tests
 
 * `sudo apt-get install jq`
 * `cargo install cargo-rdme`
 * `cargo install taplo-cli`
 * `cargo install cargo-all-features`
 * `cargo install cargo-machete`
+* https://docs.docker.com/engine/install/
 
-# Installation using Nix
+## Installation using Nix
 
 Alternatively, this repository contains a Nix flake that can be used
 to prepare a reproducible development environment on Nix-enabled

README.md

@@ -10,14 +10,7 @@
 <!-- [![Build Status for Kubernetes](https://github.com/linera-io/linera-protocol/actions/workflows/kubernetes.yml/badge.svg)](https://github.com/linera-io/linera-protocol/actions/workflows/kubernetes.yml) -->
 
 [Linera](https://linera.io) is a decentralized blockchain infrastructure designed for highly scalable,
-low-latency Web3 applications.
-
-## Key Features
-
-- **High Scalability**: Process thousands of transactions per second with sub-second confirmation times
-- **Microchain Architecture**: Each user operates their own chain, eliminating global bottlenecks
-- **Low Fees**: Efficient consensus mechanism keeps transaction costs minimal
-- **Developer Friendly**: Build applications using familiar Rust and WebAssembly tools
+secure, low-latency Web3 applications.
 
 ## Documentation
 
@@ -71,15 +64,11 @@ from low to high levels in the dependency graph)
 
 * [`examples`](./examples) Examples of Linera applications written in Rust.
 
+## Prerequisites
 
-## Quickstart with the Linera CLI tool
+See [`INSTALL.md`](./INSTALL.md) for software requirements to develop in this repo.
 
-### Prerequisites
-
-- [Rust](https://www.rust-lang.org/tools/install) (version 1.70 or higher)
-- [Git](https://git-scm.com/downloads) 
-- Approximately 2GB of free disk space
-- Linux or macOS (Windows users should use WSL2)
+## Quickstart with the Linera CLI tool
 
 The following commands set up a local test network and run some transfers between the
 microchains owned by a single wallet.