intro.js implemented / buggy when it comes to character highlights