This file is indexed.

/usr/lib/help/flush-output-port is in scheme9 2013.11.26-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
8
S9 LIB  (flush-output-port output-port)  ==>  unspecific
        (flush-output-port)              ==>  unspecific

Flush the given output port by writing all pending output to
the associated file descriptor. When no port is specified,
flush (current-output-port).

(flush-output-port)  ==>  unspecific