IDE: Module not found ... built in modules?

I assume 'this file' is used to supply the IDE with data for auto completion and other useful 'stuff' - also at runtime.

Yep.

I guess a nice solution would be to include a full URL in the board, then the Web IDE could check there. However for the moment the current solution works fine - I just have to have put the JSON file up.