Jack Kamm Wed, 11 Nov 2020 17:08:09 -0800
Thanks, I've fixed the remaining issues you pointed out and pushed this in 5371b30fe.
Cheers, Jack