Should the University of Leeds formally recognise extra and co-curricular activities?