@bob @emacsen @hans In this reply I had to manually add hans and emacsen. They did not come automatically on the reply because they were mentioned already.