A caveat on metrizing convergence in distribution on Hilbert spaces | Synapse