And here is a tool to browse and navigate it: https://github.com/rochus-keller/LisaPascal