Thx guys ヽ(´∇`)ノ

Last year's August 10 happened to be the birthday of some other users
too, so wishing them happy birthdays as well if they are reading (at least
one of them is below this post)