gap-system / GapWWW

Source for the GAP website
https://www.gap-system.org
12 stars 25 forks source link

Remove "Archive formats" page #302

Closed fingolfin closed 1 year ago

fingolfin commented 1 year ago

Its usefulness was marginal, and it was outdated (bzip2 is hardly "the format with the best compression rate" anymore; maybe among the formats we list as supported, but definitely not in general).

Providing instructions for decompressing archives may still be useful, but user who need them would generally not be able to find them there. (They likely would find them more easily with a web search.)

In the end, this is just one more page we should maintain but don't, so let's simply get rid of it.