updates induced by changed repo's name
doc generated