"shell_label","shell_id","shell_id_HREF"
"bash","bash-9cc02a91","../shell-id/bash-9cc02a91/"
"dash","dash-0ebcf347","../shell-id/dash-0ebcf347/"
"osh-cpython","osh-394d19cc","../shell-id/osh-394d19cc/"
"osh-native","osh-d4624c25","../shell-id/osh-d4624c25/"
"osh-native-souffle","osh-native-souffle-a9bc3dd5","../shell-id/osh-native-souffle-a9bc3dd5/"