trivial: add a tiny script to keep the language list correct