User blog comment:Mh314159/new YIP notation/@comment-39585023-20190714235606/@comment-35470197-20190718014044

Oh, sorry for not noticing the comment. Unlike replies, adding a new comment seems to give us no mail notification.

Ok, I will check it later.