Sorry I didn't understand you, in this pull request we don't have any changes in the source of intro.js, right? So we don't need to change the minified version also.