See above comments re `stripExtension()`.