Support for the Linux operating system has been added. Miscellaneous technical and editing changes were also made.