@ancient-stone-50795: I think that’s nice too. Then we could potentially deprecate append as an option type and have fewer of them.