Closed Rich2 closed 1 year ago
Consider removing OptRef and maybe Opt.
This is done. The next task is #248.
Consider removing OptRef and maybe Opt.