String path = binding.qname.replace('.', '/').replace("%20", ".");
if (!seenDocs.contains(path)) {
seenDocs.add(path);
Str doc = binding.getDocstring();
if (doc != null) {
json.writeStartObject();
json.writeStringField("sym", path);
json.writeStringField("file", binding.fileOrUrl);