Useful tips - firedrakeproject/firedrake GitHub Wiki