I wrote: > You can simply download Seamonkey deb's from here: > > https://www.seamonkey-project.org/releases/ Correction: those are .tar.bz2 packages. Getting older. Age takes its toll, I guess.