@jonathanstray oh, and thanks …

@jonathanstray oh, and thanks for the comment! I started writing up a short response that I should finish in the next few days.