Markus Alexander Kuppe

The term 'diameter,' defined as ["the longest shortest path between any two vertices in a graph"](https://mathworld.wolfram.com/GraphDiameter.html), aligns with the statistical measurement. AFAIK 'Length' typically refers to the number of *edges*...

Related: https://github.com/tlaplus/vscode-tlaplus/issues/318

@kape1395 Thanks for your contribution! I'm not aware of any other efforts to add TLAPS support to VSCode. Would you like to join the upcoming TLA+ project meeting on 6/13...

The EXTENDS introduces a dependency on Apalache where there was no dependency on any specific tool before. For example, TLAPS won't parse the spec unless the Apalache and TLC module...

@sridhargopinath Feel free to re-open.

@mattmccormick Housekeeping, feel free to re-open if you still want this contributed.

Naming is hard.

The intent of this issue is to allow the community to tag and categorize examples. [Github Blocks](https://blocks.githubnext.com) (technical preview) look like a possible solution.

Thanks for tackling this issue. Tbh, I don't understand the use case for splitting the tables into local and elsewhere? I'd find it more relevant for users if the tables...

Ideally, the table would be ordered based on community feedback, i.e., the number of stars/votes that specs gets over time. I assume that is not possible with Github flavored markdown?