Don't use custom to set agda highlighting