texd documentation Operation Modes CLI Options HTTP API Render a document Status and Configuration Metrics Simple Web UI Reference Store History Future