Sorry for editing it! I accidentally hit the submit button before the comment was ready (the thing I posted was a first draft). I will make sure to edit back some version of the comment next week, just so that your comment here doesn’t end up lacking necessary context.
Sorry for editing it! I accidentally hit the submit button before the comment was ready (the thing I posted was a first draft). I will make sure to edit back some version of the comment next week, just so that your comment here doesn’t end up lacking necessary context.