@jokke.6239 I'm glad you did! There are always people who missed the note/weren't aware for one reason or another, so mentioning it almost certainly brought it to the attention of others who missed it as well.
And I've said this elsewhere: We need to hear what the community likes just as much as we need to hear what they want changed/improved/updated/fixed, and human beings in general are much less likely to spend time talking about what they like than they are talking about what they dislike. Calling out a change that you just discovered and that you love is great--thank you!