CFBundleIdentifier gnutexinfo CFBundleName GNU Texinfo DocSetPlatformFamily texinfo isDashDocset