Thank you both, Stanislav and smallpepperz, for your kind words.

I find the interface for these new kinds of questions quite confusing. One doesn't get notified if @name is used, since these are posts, not messages, although they function much like messages and there are no actual messages.

The point is that it's difficult to find out when a reply/clarification question is posted. Now that I know, I'll come back here often for a while.