exp: drop some words from exp names (#8811)

This commit is contained in:
Dave Berenbaum
2023-01-16 17:11:04 +01:00
committed by GitHub
parent c2e4f51479
commit d25d26ff74
File diff suppressed because one or more lines are too long