Revised text from 'what is fenixedu' and from 'our users' sections.