Граф зависимостей в Lean Mathlib

[DieselMachine]

Хотел найти такой граф или построить сам, но пока не смог.
Есть проект https://github.com/patrik-cihal/lean-graph
Добавил DependencyExtractor.lean в свой проект - он выдаёт зависимости только в пределах моего проекта, зависимости mathlib не видит. Пробовал класть в сам mathlib - тоже не получилось.
Подскажите как сделать чтобы работало, либо может другое решение.