"shell_label","shell_id","shell_id_HREF"
"bash","bash-6ce269c8","../shell-id/bash-6ce269c8/"
"dash","dash-0ebcf347","../shell-id/dash-0ebcf347/"
"osh-cpython","osh-09b4f88a","../shell-id/osh-09b4f88a/"
"osh-native","osh-0dbd9bab","../shell-id/osh-0dbd9bab/"
"osh-native-souffle","osh-native-souffle-29bfa94b","../shell-id/osh-native-souffle-29bfa94b/"