Maybe you or your friend could post up the Web IDE's console log (in settings) as it might shed some light on why it's not finding anything.
@Gordon started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Maybe you or your friend could post up the Web IDE's console log (in settings) as it might shed some light on why it's not finding anything.