OK, this has been mined for several useful bits. Thanks, @bnmnetp, for putting this together.
More work in this direction in the ten commits starting from c408a9f3579e0dec4df685347a8986ea421abad2, with discussion of remaining technical debt available on pretext-dev.
OK, this has been mined for several useful bits. Thanks, @bnmnetp, for putting this together.
More work in this direction in the ten commits starting from c408a9f3579e0dec4df685347a8986ea421abad2, with discussion of remaining technical debt available on
pretext-dev
.