Text this: Maximal open compact subgroup of the projective symplectic group over a locally compact discrete valuation field