First Order Logic on Pathwidth Revisited Again (Logical Methods in Computer Science, 2026)