Agreed, these are two separate features, both of which we should support - though optional is the higher priority one, which has bubbled up elsewhere in addition, and having 'optional' is likely a usable workaround for Mike's use case.
Agreed, these are two separate features, both of which we should support - though optional is the higher priority one, which has bubbled up elsewhere in addition, and having 'optional' is likely a usable workaround for Mike's use case.