[firedrake] Continuing informal reading group