Reaching precise proton affinities in non-Born–Oppenheimer calculations | Synapse