`@setup` block without name?

[fingolfin]

The documentation states:

Unlike @example and @repl blocks, @setup requires a <name> attribute [...]

However, in practice, one can actually write a @setup block without name. Presumably this is then used as @setup for all unnamed @example and @repl blocks?

Anyway, this should be addressed, but which way:

1. By adjusting the documentation to describe reality
2. By restricting @setup to really require a name.