Information on "size of the dependency"

[pbelmans]

When you are reading a random proof in the Stacks project you sometimes ask: which one of the results that is referenced is the crucial one, in the sense that it is responsible for most of the dependencies. I would like to have a way of getting this information, not by clicking on each of the references and then looking at their statistics pages.

Of course: somehow this is visible from both the force-directed and the cluster graph. But that's the point: it is only somehow visible.

Not an important feature (I mean we've had graphs now for quite some time and it didn't pop up before) but it might be a fun project.

[pbelmans]

Excuse me, apparently I already implemented this in the cluster graph, but only textually: hovering over a node tells you how much of a rabbit hole is hidden there.

Nevertheless there might be a fun graph visualisation problem here.