CFBundleIdentifier purescript-local CFBundleName purescript-local DocSetPlatformFamily purescript dashIndexFilePath index.html isDashDocset DashDocSetPlayURL http://try.purescript.org DashDocSetFamily dashtoc