[master] Changed project name to 'forall'