Comments moved thither. Thanks!

Edit: looks like this post was actually first, so maybe we'll reverse the merge