"shell_label","shell_id","shell_id_HREF"
"bash","bash-1e1d9500","../shell-id/bash-1e1d9500/"
"dash","dash-308ec8e6","../shell-id/dash-308ec8e6/"
"osh-cpython","osh-0791f8d7","../shell-id/osh-0791f8d7/"
"osh-native","osh-8fcea53b","../shell-id/osh-8fcea53b/"