GitLab

team: remove Thomas, fix layout so that the columns are auto (didn't want to manually shift all the pairs !) todo: add the new heads ?

courses: minor header improvements, fixed target email address