Read-only mirror of HEALPix