[json, pretty] Change encoding of value.BashArray, more like SparseArray