Define a digraph $P=(V,E)$ with $V$ equal to the set of prime numbers and an arrow from $p$ to $q$ if $p|q-1$ (definition motivated by Pratt's primality certificates).

Does $P$ indeed admit only the trivial automorphism (as seems reasonable to guess)?