A note on the continuous-stage Runge–Kutta(–Nyström) formulation of Hamiltonian Boundary Value Methods (HBVMs)