Merge pull request #4703 from ethereum-optimism/refcell/doc-links

specs: Doc Enhancements

CONTRIBUTING.md

@@ -8,7 +8,7 @@ There are plenty of ways to contribute, in particular we appreciate support in t
 - Fixing and responding to existing issues. You can start off with those tagged ["good first issue"](https://github.com/ethereum-optimism/optimism/contribute) which are meant as introductory issues for external contributors.
 - Improving the [community site](https://community.optimism.io/), [documentation](https://github.com/ethereum-optimism/community-hub) and [tutorials](https://github.com/ethereum-optimism/optimism-tutorial).
 - Become an "Optimizer" and answer questions in the [Optimism Discord](https://discord.optimism.io).
-- Get involved in the protocol design process by proposing changes or new features or write parts of the spec yourself in the [optimistic-specs repo](https://github.com/ethereum-optimism/optimistic-specs).
+- Get involved in the protocol design process by proposing changes or new features or write parts of the spec yourself in the [specs subdirectory](./specs/).
 
 Note that we have a [Code of Conduct](https://github.com/ethereum-optimism/.github/blob/master/CODE_OF_CONDUCT.md), please follow it in all your interactions with the project.
 

specs/batcher.md

@@ -4,10 +4,10 @@
 The batch submitter, also referred to as the batcher, is the entity submitting the L2 sequencer data to L1,
 to make it available for verifiers.
 
-[derivation-spec]: ./derivation.md
+[derivation spec]: derivation.md
 
-The format of the data transactions is defined in the [derivation spec]: the data is constructed from L2 blocks
-in the reverse order as it is derived from data into L2 blocks.
+The format of the data transactions is defined in the [derivation spec]:
+the data is constructed from L2 blocks in the reverse order as it is derived from data into L2 blocks.
 
 The timing, operation and transaction signing is implementation-specific: any data can be submitted at any time,
 but only the data that matches the [derivation spec] rules will be valid from the verifier perspective.

specs/derivation.md

@@ -263,7 +263,7 @@ The rest of the diagram is conceptually distinct from the first part and illustr
 channels have been reordered.
 
 The first line shows batcher transactions. Note that in this case, there exists an ordering of the batches that makes
-all frames within the channels appear contiguously. This is not true in true in general. For instance, in the second
+all frames within the channels appear contiguously. This is not true in general. For instance, in the second
 transaction, the position of `A1` and `B0` could have been inverted for exactly the same result — no changes needed in
 the rest of the diagram.