Apologies, that line was referring to something from an earlier draft of this post. I’ve removed it from my comment.
Apologies, that line was referring to something from an earlier draft of this post. I’ve removed it from my comment.