generic_file_splice_read(9) on Linux

The text 52ed0405ce2a, as Debian 9 (Stretch) shipped it. The page shows this text now.

splice data from file to a pipe

generic_file_splice_read(9) on Linux now