Run devscripts/gen-json