Fix doctest resolver again
Clarification and motivation
It looks like I goofed up rebasing !1202 (merged) and accidentally reverted the resolver update in the doctest Stack script. Fix that.
Acceptance criteria
The resolver is back to where it belongs.