Is the@Aleksei Dievskii the correct tag-name for Alexei, I think.

yep, now I have received the notification. I wasn't getting any with @dievsky.