sh/jshn.sh: allow numbers in identifiers for json_get_var()