ThFriedrich

Edit LaTeX locally in VS Code and push/compile/pull PDF against a self-hosted Backslash server via its REST API.