Re: [NTG-context] Why are pretty printer names uppercased?