Je me demande si à l'époque, l'utilisation #Lua (qui date de 1993) comme langage embedded dans les #browsers a été envisagé à la place du #Javascript 🤔

J'ai l'impression que non : https://en.wikipedia.org/wiki/JavaScript#History