IntersectMBO
Confusing section links
It was pointed out to me that the links in the introduction next to the tree of STSs are somewhat confusing, specifically these ones: https://github.com/IntersectMBO/formal-ledger-specifications/blob/master/src/Ledger/Introduction.lagda#L176
Every item links to both internal sections and the source code, which is useful, but this isn't super clear from the document itself. I think it would be better to have something such as: 'CHAIN (Section XX, source) is the top level transition ...'.
After thinking more about this, I think it's perfectly clear. The first link goes to the source and a popup clearly indicates that is the case. The second link is clearly labeled as pointing to a section. I don't think this needs to be changed.
Maybe you don't, but someone was complaining to me about this at the node diversity meetup (I don't quite remember who), so it deserves to be treated as a user issue.