Re: [NTG-context] Dotted leader in index entries