Aspects of $p$-adic operator algebras