cool, all of a sudden I saw 'notifications' in the top right corner: I was mentioned in this thread by alex. Thanks to that I came back to this thread and now I know about this feature
Nice work @
Alex
Btw: I think Alex will be getting a lot of notifications this way
EDIT: o yeah, I got quoted in this thread too, which led me back to this thread again