as per https://withr.r-lib.org/reference/with_.html
I've tried building a withr::local_()/withr:with_() for options in:
https://github.com/dataheld/elf/blob/d4306269079278b446840c706687d265072190bd/R/options.R#L1-L23
but settled for an opt_set_local2() based on withr::defer(), as you advise in the docs.
I noted that the semantics of options and withr don't quite match, though I'm not quite sure what I meant by that.