JavaScript is required to run PICO DEV.