Есть вопрос. Библиотеки который написаны в документации к GPS модулю отправляют на сайт espruino.ru. Эти библиотеки уже встроены в программу Espruino IDE?
Нет, временные проблемы с нашим сервером библиотек Посмотрите в вики как установить библиотеки локально: ссылка