Is there a correct pronunciation of groff? I've been checking out YouTube videos on groff. The uploaders all say "groff" (one syllable, like "gruff"). I say "g-roff" (to match t-roff and n-roff).
Second question, maybe not so trivial. Is it acceptable to use a comma for decimal fractions that are arguments to requests and macros (say .ps 12,5 instead of .ps 12.5) if a user's locale supports it? -- Peter Schaffter https://www.schaffter.ca
