is there some action the maintainer of the app loader site should perform (e.g. run a script or edit a config file) in order for that menu to appear?
Yes, there's a script which creates (IIRC) appdates.csv - but it's not something that should be committed to GitHub
appdates.csv
@Gordon started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Yes, there's a script which creates (IIRC)
appdates.csv
- but it's not something that should be committed to GitHub