No further comment, so I installed this and am marking it as done.
- bug#23518: [PROPOSED PATCH] gzip: drop mentions of Amiga, VMS Paul Eggert
- bug#23518: [PROPOSED PATCH] gzip: drop mentions of Amiga,... Paul Eggert
No further comment, so I installed this and am marking it as done.