This is a public service. I think you could write this up as a post/​question for more visibility.
Thanks! I felt kind of sheepish about making a top-level post/​question out of this but will do so now. Feel free to delete my comment here if you think that makes sense.
This is a public service. I think you could write this up as a post/​question for more visibility.
Thanks! I felt kind of sheepish about making a top-level post/​question out of this but will do so now. Feel free to delete my comment here if you think that makes sense.