Formation of envelope solitons of spin-wave packets propagating in thin-film magnon crystals