Was spricht denn gegen die einbindung der JQuery-Lib über Google?

Aus meiner Sicht nichts - allerdings könnte dann auch gleich die neueste Version verwendet werden. Die alte wurde absichtlich verwendet, weil neuere einen für die Forumshauptseite fatalen Bug hatten, der nun behoben ist.

Es sind m.W. ohnehin nur ein paar Zeilen trivialer JS-Code, der hier auf jQuery basiert. Wenn man groß auf Performanceoptimerung macht, wäre es effektiver, diesen Code ohne jQuery in Plain DOM umzuschreiben. Wer jQuery für User-Scripte braucht, müsste es dann selbst einbinden.

Mathias