Emiel Kollof noted that it would be nice if the splash screen loaders could read gzipped files, so that any splash screens could be stored in a compressed format and still used. Hiten Pandya pointed at kern/imgact_gzip.c and boot/i386/kgzldr/boot.c for examples, if anyone wants to tackle this project.