the json encoding PR (<
# development
the json encoding PR ( needs to be done for sure, for example, i just literally realized there was nonzero work left on that right as i was pre-empted by work on #6552 last week so i'm very pumped to not be under that pressure anymore. if there are others (e.g. the default values for datatypes) that i should look into that anyone would specifically find useful or that specifically require some more thought that i haven't addressed yet, please me know, that would imply that people use the code i write which is still wild to me