They should add 7zip to packages because there are many archives out there which currently can't be opened because repl.it does not support it, but with 7zip we can just type `
7z e 'file.xyz'

and it is opened which is why I think that there really should be 7zip installed or even better let us install any apt package we want