I don't want my pager to clobber my terminal once I'm done looking at
whatever I was looking at.
This also means that I can remove its definition from the `batman`
script.
This was shamelessly stolen from the `bat-extras` repository, with a
little modification to call the pager with my wanted default options.
This obviously depends on the `bat` utility.