placeholder

The extension expects a /work directory.