Time Symmetric Quantum Theory Without Retrocausality

In their recent paper "Is a Time Symmetric Interpretation of Quantum Theory Possible Without Retrocausality?", Matthew Leifer and Matthew Pusey argue that the answer to their title question is "no". Unfortunately, the central proof offered in the paper contains a fatal error, and the conclusion cannot be established. Interpretations of quantum theory without retrocausalty can be time symmetric not only in the traditional sense but also in Leifer and Pusey's supposedly stricter sense. There appear to be no prospects for proving any analogous theorem.