cmd: switched to CharArray in symbolsToJSON().