How to retrieve class instance hierarchy in mathlib?

Stream: mathlib4

[Ching-Tsun Chou]

Is there any way to retrieve the class instance hierarchy in mathlib, starting from any class?

I found the following thread:

#mathlib4 > instance graphs

But it is not clear from the discussion what script is involved and where I can download the script.