JSON output is now default, REST API documentation upaded accordingly