minor amends and typos

Author: kmurphypolygon

docs/cdk/agglayer/agglayer-go.md

@@ -1,6 +1,6 @@
 ## Overview
 
-The Agglayer Golang is a web service designed to receive zero-knowledge proofs (ZKP) from CDK chains, ensure they are valid, and send them to the L1 verifier contract for final verification.
+The AggLayer Golang is a web service designed to receive zero-knowledge proofs (ZKP) from CDK chains, ensure they are valid, and send them to the L1 verifier contract for final verification.
 
 !!! warning
     This service is being deprecated and replaced with a more robust and efficient [Rust implementation](agglayer-rs.md).
@@ -33,7 +33,7 @@ The diagram below shows the full start-up, running, and shutdown sequence for th
 
 ## Production set up
 
-1. Ensure only one instance of Agglayer is running at a time.
+1. Ensure only one instance of AggLayer is running at a time.
 2. Use a containerized setup, or OS level service manager/monitoring system, for automatic restarts in the case of failures.
 
 ### Prerequisites

docs/cdk/agglayer/future-functionality.md

@@ -7,7 +7,7 @@
 
 The culmination of Polygon Lab's innovation and design, AggLayer is an evolving ecosystem of zk-based (zero-knowledge) interacting chains. It addresses the current industry focus on interoperability and shared liquidity.
 
-While most rollup environments follow a modular approach, where developers pick-and-choose components such as execution and data availability layers for example, the Agglayer vision is uniquely centered around zk-proof technology.
+While most rollup environments follow a modular approach, where developers pick-and-choose components such as execution and data availability layers for example, the AggLayer vision is uniquely centered around zk-proof technology.
 
 <center>
 ![CDK architecture](../../img/cdk/agglayer/mono-modu.png)

docs/cdk/agglayer/overview.md

@@ -554,7 +554,6 @@ nav:
         - AggLayer | Rust: cdk/agglayer/agglayer-rs.md
         - AggLayer | Pessimistic proof: cdk/agglayer/pessimistic-proof.md
         - AggLayer | Bridge & call : cdk/agglayer/bridge-and-call.md
-        - Future functionality: cdk/agglayer/future-functionality.md
       - Polygon type 1 prover:
           - Introduction and definitions: cdk/architecture/type-1-prover/intro-t1-prover.md
           - How to: