Linkify github in obtaining firedrake docs