ARDUINO_LED specifies the according Arduino pin to which the LED is connected and not the GPIO.
The link to nodemcu-devkit-v1.0 was missing 'h' in 'http'. Other links were missing 'http://' or 'https://' and were pointing to non-existing components on RIOT's web site. Signed-off-by: Yegor Yefremov <yegorslists@googlemail.com>