Minor website updates

FWIW, it's more close to XML, which is a tree of nodes with attributes than to JSON, that includes arbitrary mix of maps and arrays.