Thanks for linking! Based on your comment it feels like I interpreted the original wrong. The person in your comment is not Steve, but their comment is basically equally valuable! So in practice what I said is still true, it’s just that whoever delivered the comment is not Steve