download JavaScript locally since GitHub has (wisely) stopped allowing JavaScript to be executed from their domain