[NTG-context] 9pt with \setupbodyfont[10pt,rm]: bug or feature?