On 2020-04-03, Vagrant Cascadian wrote:
> Attached are the remaining patches to switch it to the default.

At least, it is attached now...