#
# Don't use --search-skip-screen as it makes it easy to miss matches on the
# current page. Don't use --clear-screen which always prints a full screen
# (padded with "~" lines).
#
# Don't use --search-skip-screen as it makes it easy to miss matches on the
# current page. Don't use --clear-screen which always prints a full screen
# (padded with "~" lines).