> On 25 Apr 2025, at 12:06, Richard Sandiford wrote:
>
> Kyrylo Tkachov writes:
>> Hi Richard,
>>
>>> On 23 Apr 2025, at 13:47, Richard Sandiford
>>> wrote:
>>>
>>> Thanks for all the feedback. I've tried to address it in the version
>>> below. I'll push later today if there are no furth
Kyrylo Tkachov writes:
> Hi Richard,
>
>> On 23 Apr 2025, at 13:47, Richard Sandiford
>> wrote:
>>
>> Thanks for all the feedback. I've tried to address it in the version
>> below. I'll push later today if there are no further comments.
>>
>> Richard
>>
>>
>> The list is structured as:
>>
> On 23 Apr 2025, at 13:47, Richard Sandiford wrote:
>
> Thanks for all the feedback. I've tried to address it in the version
> below. I'll push later today if there are no further comments.
>
> Richard
>
>
> The list is structured as:
>
> - new configurations
> - command-line changes
> -
