Make the internal pager actually work. In the process, remove getch()