Use in a Codespace
- Visit https://github.com/earthroverprogram/bragi.
- Create your own repo based on this template.

- Name your repo and set the visibility you want.

- Open the repo in a Codespace (wait while the Codespace builds).

- Open and build dummy_report.tex.

- Use the commands provided by LaTeX Workshop.
