/// sections to look in. But it is also used by general validation,
/// unconditionally, to reject settings in the wrong section.
///
- /// Atrributes:
+ /// # Atrributes `#[deftly(ATTR)]`
///
- /// * `limited`, `server`, `client`: cooked sets of settings;
- /// default `SKL` is `PerClient` except for `limited`
- /// * `global` and `per_client`: set the SKL.
- /// * `special(method, SKL)`
+ /// ## Overriding attributes (these take precedence)
+ ///
+ /// * `skl = EXOR`: Set the SKL to `EXPR`.
+ /// * `special`: use `ResolveContext::special_FIELDNAME`
+ ///
+ /// ## Other attributes
+ ///
+ /// | attribute | SKL | `ResolveContext` | `I.C.Global` | notes |
+ /// |--------------|-------------|------------------|-|-|
+ /// | `global` | `Global` | | global | |
+ /// | `per_client` | `PerClient` | | | |
+ /// | `client` | `PerClient` | `client` | | |
+ /// | `limited` | `Limited` | `limited` | | |
+ /// | `computed`: | `None` | `computed` | | |
+ /// | `server` | | `server` | | usu. add `per_client`/`global` |
+ /// | _default otherwise unspecified_ | _error_ | `ordinary` | not global |
+ ///
+ /// (Blank cells indicate that the attribute doesn't affect that output.)
+ ///
+ /// ## Resulting information for each field
+ ///
+ /// * SKL of type `SectionKindList`, ends in up in `FIELDS`.
+ /// Either `skl`, or exactly one of the SKL-setting attributes,
+ /// must be provided.
+ ///
+ /// * How to resolve it: which method on `ResolveContext` to call.
+ /// Defaults to `ResolveContext::ordinary`.
+ ///
+ /// * Whether to include the field in `InstanceConfigGlobal`.
+ /// (`global`).
///
/// Generated code
///