The theory of totally disconnected locally compact (t.d.l.c.)~groups has advanced considerably in recent years. Lie groups over the valued fields ℚ p of p-adic numbers and 𝔽 q ((X)) of formal Laurent ...