Infinitude of the étale fundamental group for non-normal-crossings section divisors

Determine whether the étale fundamental group of \(\mathbb{P}^{1}_{\mathbb{Z}}\setminus D\) is infinite whenever \(D\) is a reduced union of sections that is not a normal-crossings divisor at the prime \(2\).

Background

The paper discusses the étale fundamental group of the complement of a reduced union of sections in $\mathbb{P}^{1}_{\mathbb{Z}}$. An observation of T. Saito states that this fundamental group is trivial when the divisor is normal crossings. The cited work of Shimizu–Yamaguchi establishes that, if the divisor fails to be normal crossings at the prime $2$, the group has a quotient isomorphic to $\mathbb{Z}/2\mathbb{Z}$, but leaves unresolved whether the full étale fundamental group must consequently be infinite. These examples concern non-proper arithmetic surfaces whose generic fibers have genus zero.