Override xtick labels for Firedrake forms COFFEE