[introjs] Fix PI symbol
Merge branch 'gh-pages' into resources-wip