healpix.essentials
