Exactly.
PS/Off topic: Thanks for maintaining your ping list
It’s hard, mostly cause I find little time to comment.