I found the base script somewhere on GitHub. It looks like a good basis
to transform it into a true bluetooth interface which could be launched
directly from demnu. To that end I wrote a little '.desktop' file to add
it to `dmenu-desktop` entries.
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.