Re: [firedrake] Crash in projection on ARCHER