tl;dr summary: am I right in thinking that we expect $2^n-1$ to be prime infinitely often, but $2^n+1$ to be prime only finitely often? What's the general story here?

An applied mathematician asked me a question about whether there were infinitely many primes in a certain sequence generated by a linear recurrence relation, and I was quick to respond "if there is not a trick to show that there are only finitely many using elementary methods, then there will probably be infinitely many but we probably won't be able to prove it". Too quick, I suspect.

Here is a general, but vague, question that I realise I don't understand properly. If $a,b,c$ are integers, with $a>1$ and $c>0$, and if the sequence $x_n=\frac{a^n+b}{c}$ ($n=1,2,3,\ldots$) is a sequence of positive integers, when do we expect this sequence to contain infinitely many primes?

There are two tricks I know.

There's a trivial trick "there exists a prime $p$ such that $x_n$ is always a multiple of $p$" which tells me e.g. that the sequence $3^n-1$ only contains finitely many primes.

There's a slightly more subtle trick which tells me that $\frac{4^n-1}{3}$ only contains finitely many primes, and this is that $4^n-1=(2^n+1)(2^n-1)$ which will prove that $\frac{4^n-1}{3}$ is composite when $n$ is large enough. And that's all I know.

I've seen the covering congruences trick used by Graham (R. L. Graham,
A Fibonacci-like sequence of composite numbers) to prove that there are general recurrence relations that contain no primes for slightly less obvious reasons, but I'm not sure if I can get this to work in my case. (*edit* Thanks to user102986, who reminded me of a covering congruence argument which was posted to this site 7 years ago in response to a question of mine which I'd completely forgotten about -- see comments below).

I initially suspected that if none of these tricks worked then perhaps there would be infinitely many primes but that we couldn't prove this; however this article by Kent Boklan and John Conway adds more meat to the suggestion, probably long believed, that there are only finitely many Fermat primes and hence only finitely many primes of the form $2^n+1$. Conversely GIMPS (motto: "$2^p-1$ may be prime"!) seems to be producing a steady stream of Mersenne primes. There are standard proofs that if $2^n+1$ is prime then $n$ is a power of 2, and that if $2^n-1$ is prime then $n$ is prime, and there are more primes than powers of 2, but this is a little simplistic in my mind and I suspect that people have a better understanding of what is, or should be, going on nowadays. My idle question: what is the general picture?

*edit*: in response to user102986's comments to make my question more precise, I will ask a random specific question.

Q) Is $2^n+2017$ is prime infinitely often? [warning: $2^n+9262111$ is never prime -- see link in the comments to a 2009 question of mine]. If it is prime infinitely often we probably can't prove it -- but should we be conjecturing it?