EDIT: actually we should open the walkthrough --- https://github.com/PreTeXtBook/pretext-codespace/blob/8b38540ba731795aadd7c566bde4972d71b394ac/.devcontainer/devcontainer.json#L64 We should instead open the README for the purpose of using this template.