On Wed Jan 21, 2026 at 12:17 AM CET, Jacob Champion wrote:
> I'd be fine with either; slight preference for "RESERVED" I suppose?
RESERVED seems clearer to me. And for people interested in why, the
comment above its definition describes it suffiecently.