spotted in a recent _New Scientist_ article on ``the paperless office'': A modern US Navy cruiser now requires 26 tons of manuals. This is enough to affect the vessel's performance.
(From the "Rest" of RHF)