(The commenter responded to me inline in their original post, I think; I now understand why they posted the link.)
Yeah sorry I was in a hurry. I’d originally vouched for your comment (it was dead/flagkilled), then threw up that link as a quick support for your numbers.