New and dramatically smaller JSON-based logging format and JSON-based
object output in logger.