Comment by nicolapede

Matplotlib has been replaced by tikz [0] for most of the figures I need to generate (they would feed LaTeX docs anyway).

[0] https://tikz.dev/