Re: [NTG-context] Margin terminology -- badly documented, undocumented, or misdocumented