Add STRIP_EXTENSIONS config item

[jwise]

Pull Request Checklist

• I’ve read the guidelines for contributing.
• I updated AUTHORS.txt and CHANGES.txt (if the change is non-trivial) and documentation (if applicable).
• I tested my changes.

Description

This implements #3865 -- as seen in production on https://joshuawise.com/ .