healpix should be healpy on page /hifs.html

[Lucalino]

There seems to be a typo in the code cell loading python packages.

[lkluft]

Hi Luca, We have replaced healpy with healpix in all our code. The healpix package comes with less overhead (other external dependencies and imports) and is also installable by Windows users.

In most cases, healpix works as a drop-in replacement, meaning you can simply change the import and leave your code as is.