On Mon, Oct 29, 2018 at 11:20 AM Rasmus Villemoes <[email protected]> wrote: > > No idea. I think I didn't really know what was meant by > required/optional.
Yeah, no worries, "optional" here is intended to mean "we cannot define it unconditionally (yet)". The word leads to confusion, I agree. I will improve the wording of the comment in the top and/or change the word after this lands. Cheers, Miguel
