I'm developing using WebStorm as the IDE and the espruino command-line tool to push code to the board. This is working great, but the Web IDE has auto-completion information available about the espruino-globals like LED1, Serial1, etc, which WebStorm does not recognize. Where does the IDE get the information from? Where are these actually defined? Would be great if I could get WebStorm to recognize them and stop complaining about unresolved variables and functions.