Yes, there was a "newbie" setting, due to Tom having joined recently: I moved him to the regular users group (had to search for how to do it), so should be all clear now. Thanks for pointing that out.