.gitignore add, introjs tweak