User:Nicolas17/IPSW formats

IPSW files have always been ZIP files, but the exact details of the format have changed over time, especially with respect to the root filesystem.