Darwin is a partially proprietary operating system maintained by Apple
Computer and used by most of their products. It is also known as macOS,
iOS, etc.@: depending on the exact variant. Older versions were called
-``Mac OS X'', the X being intended as the Roman numeral for 10.
-
-It is derived from FreeBSD, but presents some unusual portability
-hazards. Most importantly, by default the filesystem will be case
-insensitive, albeit case preserving. This can cause nasty problems:
-for instance, the installation attempt for a package having an
-@file{INSTALL} file can result in @samp{make install} reporting that
-nothing is to be done!
+``Mac OS X.''
+
+By default the filesystem will be case insensitive, albeit case
+preserving. This can cause nasty problems: for instance, the
+installation attempt for a package having an @file{INSTALL} file can
+result in @samp{make install} reporting that nothing is to be done!
Darwin does support case-sensitive file systems, but they must be
formatted specially as such, and Apple discourages use of a