Question for other people, which might contribute and might not:
Could you electrolyse the water at a potential difference of 0.4 V to turn the water into H2 and O2, while keeping the HF?
Given:
F2(g) + 2e- --> 2 F-(aq) E0 = +2.87 V
2 H+(aq) + 2e- --> H2(g) E0 = 0.00 V