Object Counts in Diagrams

[jhereth]

When working with larger contexts, the labels in the diagrams become hard to read. For first insights it would be sufficient to see the number of objects belonging to each concept (i.e. count of the full concept extent , or count of the irreducible objects in this concept).

This visualization was used in Toscana, Cernato and ConExp (if you're familiar with either of these tools), e.g. here
you can see a concept lattice in Cernato that has some object/extent labels closed (count only), and some open (list of objects).

How difficult would it be to add this? Do you think it's a valuable contribution?

Edit: For displaying the content count of irreducible objects the following works fine

....lattice.graphviz(make_object_label=lambda x: str(len(list(x))))

So maybe it's just about providing the full extent to the render function?