Cardano Updates

* Refine nix instructions further

* Consolidate instructions a bit

* Add a screenshot of the testnet throughput dashboard

* Also add a screenshot of a syncing node

* Change heading of last section

* Add demo dashboard to testnet relay config

* Improve instructions for docker and use shallow clones

filip(feat): add new hero banner and nav link along with transition gradients

This reduces repetition in wording

Install and run the node.

This will be a better, longer lasting page URL which we chould also fill
with other topics later.

Documentation for those running a node in the testnet, includes how to setup a stake pool. It uses the tagged prototype.

The synchronous websocket processing was lagging behind and resulted in
dropped events on the loki /tail api

Fix Moog CLI download for new asset naming

Documentation for those running a node in the testnet, includes how to setup a stake pool. It uses the tagged prototype.

Antithesis devnet image fixes

- §6.8: EB-`point` interop is confirmed against the live relays (the
  MsgLeiosBlock/MsgLeiosBlockTxs fetches succeeded, no reset) — drop the
  "may have shifted / can't tell" hedge.
- §7.1: capture command now uses --fetch-eb / --fetch-eb-txs (matches how the
  LeiosFetch replies were captured).
- §7.2: consistent formatting for the two block-body dumps; `null` labelled as
  absent (not "mock") with the mock array(0) noted as a certifying-RB case;
  trim the header field list to field[10] + ellipsis; drop the auto-fetch
  "disabled" note; remove MsgLeiosBlockTxs from "not yet wire-captured" (it is).

Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>

- Capture and validate the LeiosFetch replies on the wire (via net-cli
  --fetch-eb / --fetch-eb-txs):
  - MsgLeiosBlock — EB body is a DEFINITE map(639) of hash32 => uint
    (wire-confirms §4.4, previously source-only).
  - MsgLeiosBlockTxs — [3, point, bitmap, [*tx]]: echoes point + bitmap,
    bitmap is an indefinite map, tx list is a definite array of opaque txs.
  §11 now lists only MsgLeiosBlockAnnouncement as unseen on the wire.
- Document the EB `point` spec-vs-wire mismatch (cardano-blueprint#68): CDDL
  transparent group vs wire nested array2 (same class as announced_eb); note
  net-node uses the wire-correct array encoding, so it interops (no reset).
- Correct the merged/client block: it is a node-to-client (N2C) structure the
  prototype node implements, not "not implemented"; N2C marked out of scope.

Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>