CC3300 module is missing

Hello,

I own one of the original Espruino Kickstarter packages that came with a CC3300 WiFi module.

I was just trying to make use of that module according to the description in the documentation and I am now having the problem, that the CC3300 JavaScript module cannot be found. In the Espruino IDE under Settings > Console I see the following error when trying to execute var wlan = require("CC3000").connect();:

...
>>> Connected to /dev/ttyACM0
loadModule(CC3000)
ERROR: getURL("https://www.espruino.com/modules­/CC3000.min.js") error : Not Found
ERROR: getURL("https://www.espruino.com/modules­/CC3000.js") error : Not Found
WARNING: [notify_warn] Module CC3000 not found
Found a prompt... great!

I read in the documentation that the CC3300 has been discontinued, but does that also apply for the JavaScript module? Has it been removed on purpose?

Any help on this would be appreciated.

Thanks,
Tobias