Adam Porter <adam@alphapapa.net> writes:

> This patch makes some minor improvements to the feature/native-comp
> branch, including renaming a few symbols, improving the usability of
> some commands, improving some docstrings, and a few minor refactorings.
> None of the compilation code is touched, only the UI and logging.
> Andrea has approved this patch, and it's presented here for further
> discussion before merging.

Seems that I used the wrong command to produce that patch, as it is
missing the normal git headers.  Please see the attached patch instead.