We've finished the first roadmap milestone for ethlambda @leanEthereum. It now receives block gossip from peers. The latest received block is temporarily exported in prometheus as lean_head_slot, following lean spec. A grafana+prometheus setup with dashboards was added too. We started working on the second milestone, with initial state generation done and STF work being worked on.