btw, I meant to ask, the commit above by lamba-conjecture doesn't change the JSON schema, right?