Just a quick update: after installing AntennaPod 3.12.0-beta6, the problem seems to be fixed. I repeated the reproduction steps several times, and the playback position was preserved correctly every time. At least on my device, I can no longer reproduce the issue.