Update overview docs

docs/modules/ROOT/pages/accounts.adoc

@@ -78,8 +78,7 @@ In this section we will describe the methods that the protocol uses for abstract
 are required for enabling accounts to be used for executing transactions. The rest are optional:
 
 1. `\\__validate__` verifies the validity of the transaction to be executed. This is usually used to validate signatures,
-but following the account abstraction design, the entrypoint implementation can be customized to feature any
-validation mechanism.
+but the entrypoint implementation can be customized to feature any validation mechanism https://docs.starknet.io/documentation/architecture_and_concepts/Accounts/validate_and_execute/#validate_limitations[with some limitations].
 
 2. `\\__execute__` executes the transaction if the validation is successful.
 
@@ -88,8 +87,7 @@ meant to declare other contracts.
 
 4. `\\__validate_deploy__` optional entrypoint similar to `\\__validate__` but meant for {counterfactual}.
 
-NOTE: Even though these entrypoints _can_ be called directly at the contract level, they are not designed for that,
-but to be called by the Starknet OS in the transaction execution flow.
+NOTE: Although these entrypoints are available to the protocol for its regular transaction flow, they can also be called like any other method.
 
 == Deploying an account
 

docs/modules/ROOT/pages/api/account.adoc

@@ -11,7 +11,6 @@ Reference of interfaces, presets, and utilities related to account contracts.
 [[ISRC6]]
 === `++ISRC6++` link:https://github.com/OpenZeppelin/cairo-contracts/blob/cairo-2/src/account/interface.cairo#L12[{github-icon},role=heading-link]
 
-[.hljs-theme-light.nopadding]
 ```javascript
 use openzeppelin::account::interface::ISRC6;
 ```
@@ -62,7 +61,6 @@ Returns the short string `'VALID'` if valid, otherwise it reverts.
 :OwnerAdded: xref:Account-OwnerAdded[OwnerAdded]
 :OwnerRemoved: xref:Account-OwnerRemoved[OwnerRemoved]
 
-[.hljs-theme-light.nopadding]
 ```javascript
 use openzeppelin::account::Account;
 ```

docs/modules/ROOT/pages/index.adoc

@@ -8,9 +8,7 @@
 
 WARNING: This repo contains highly experimental code. Expect rapid iteration. *Use at your own risk.*
 
-== Overview
-
-=== Installation
+== Installation
 
 The library is available as a {scarb} package. Follow {installation} for installing Cairo and Scarb on your machine
 before proceeding, and run the following command to check that the installation was successful:
@@ -24,17 +22,23 @@ cairo: 2.2.0 (https://crates.io/crates/cairo-lang-compiler/2.2.0)
 sierra: 1.3.0
 ----
 
-==== Set up your project
+=== Set up your project
+
+Create an empty directory, and `cd` into it:
+
+[,bash]
+----
+mkdir my_project/ && cd my_project/
+----
 
-Create an empty directory, then `cd` into it, and initialize a new scarb project by running:
+Initialize a new Scarb project:
 
 [,bash]
 ----
-mkdir my_project && cd my_project
 scarb init
 ----
 
-The contents of `my_project` should now look like this:
+The contents of `my_project/` should now look like this:
 
 [,bash]
 ----
@@ -43,21 +47,22 @@ $ ls
 Scarb.toml src
 ----
 
-==== Install the library
+=== Install the library
 
-Add the library to your project be adding the openzeppelin dependency to the `Scarb.toml` file:
+Install the library by declaring it as a dependency in the project's `Scarb.toml` file:
 
 [,text]
 ----
 [dependencies]
 openzeppelin = { git = "https://github.com/OpenZeppelin/cairo-contracts.git", tag = "v0.7.0" }
 ----
 
-WARNING: Make sure the correct tag matching the release is selected.
+WARNING: Make sure the tag matches the target release.
 
-=== Basic usage
+== Basic usage
 
-Copy the following account contract code into `src/lib.cairo`, and run `scarb build` to compile it:
+This is how it looks to build an account contract using the xref:accounts.adoc[account module].
+Copy the code into `src/lib.cairo`.
 
 [,javascript]
 ----
@@ -67,16 +72,18 @@ mod MyAccount {
     use openzeppelin::account::account::PublicKeyTrait;
     use openzeppelin::account::interface;
     use openzeppelin::introspection::interface::ISRC5;
-    use openzeppelin::introspection::src5::SRC5;
     use starknet::account::Call;
 
+    // Storage members used by this contract are defined in each imported
+    // module whose `unsafe_state` is used. This design will be improved
+    // with the addition of components in the future.
     #[storage]
     struct Storage {}
 
     #[constructor]
-    fn constructor(ref self: ContractState, _public_key: felt252) {
+    fn constructor(ref self: ContractState, public_key: felt252) {
         let mut unsafe_state = _unsafe_state();
-        Account::InternalImpl::initializer(ref unsafe_state, _public_key);
+        Account::InternalImpl::initializer(ref unsafe_state, public_key);
     }
 
     #[external(v0)]
@@ -133,3 +140,10 @@ mod MyAccount {
     }
 }
 ----
+
+You can now compile it:
+
+[,bash]
+----
+scarb build
+----