I believe you can thank Verso for that:

https://github.com/leanprover/verso