[firedrake] Finite element lecture and videos.