strip: remove experimental.prunestrip option
@marmoute decided to drop it because it's "neither documented nor a good idea".
This instance will be upgraded to Heptapod 1.3.3 (GitLab 16.9.6) on 2023-04-25 at 18:00 UTC+2
@marmoute decided to drop it because it's "neither documented nor a good idea".