Exposed getFilenameWithoutExtension

Also added appropriate comments to explain why we need to remove the
file extension when the filename is used as the name of the theme