On Saturday, 27 May 2017 at 13:32:57 UTC, Adam D. Ruppe wrote:
> On Saturday, 27 May 2017 at 10:11:38 UTC, Stanislav Blinov wrote:
>> 3. Nobody actually cares.
>
> That's me. I think the @attribute mess is completely broken and mostly just ignore it.

Hm. That's a strategy, perhaps I should try it :)

> That said, I do agree with you: it SHOULD work like you describe if we want the @attributes to be meaningful.

Thanks, option 1 just became less of a one.