help: "Set terminal page length"
run: resize; OFR_PAGER=$OFR_DEFAULT_PAGER