Hi,

[...] aber bei JavaScript habe ich wegen der mehrfachen Umstellungen in der letzten Zeit immer herumprobiert, ob sie nun „javascript“ oder eventuell auch „js“ heißt.

ich würde erwarten, dass beides geht, bin aber im alten Forum ab und zu auf die Nase gefallen. Denn meist habe ich aus Gewohnheit nur "js" angegeben und dann erst in der Vorschau gesehen, dass kein Highlighting stattfand.

Hier geht jetzt wohl beides - sowohl "js" als auch ausgeschrieben "javascript".

So long,
 Martin