* Monodoc/man-provider.cs: NEVER return a non-null string from