What Feynman could not yet use: The generalised Hong-Ou-Mandel experiment to improve the QED explanation of the Pauli exclusion principle