private static void appendCategoryTag(List<CategoryRecord> catRecords, StringBuilder buffer) {
		buffer.append("\"execategory\": [");
		if (catRecords != null) {
			boolean needsComma = false;
			for (CategoryRecord catrec : catRecords) {
				if (needsComma) {
					buffer.append(',');
				}
				else {
					needsComma = true;
				}
				buffer.append('\"');
				// Append type/value pair as concatendated strings separated by a TAB.
				// When sorting as strings, this should give the same order as sorted CategoryRecords
				buffer.append(catrec.getType()).append("\\t").append(escape(catrec.getCategory()));
				buffer.append('\"');
			}
		}
		buffer.append(']');
	}
Append a list of CategoryRecords as (part of) a JSON document to a StringBuilder
Used as part of constructing JSON serialization of ExecutableRecords
@param catRecords list of category records
@param buffer for writing
Ghidra/Features/BSim/src/main/java/ghidra/features/bsim/query/elastic/ElasticDatabase.java