HomeSoftware Heritage

webgraph.py: autoatically generate mappings at the end of compression