Minimal examples of desirable operations to enable Firedrake on GPUs - View it on GitHub