@GossiTheDog I thought this must be an edit of what was actually posted, but no, it's what they really said. Huh.