Fix some JS in docs and examples (fingerblast-related).