So, jetzt müsste er bei allen da sein. Bitte einmal Reload drücken.
GEIELLLLL! Jetzt habe ich auch den fetten Rotstift. Übrigens seit meiner Korrektorenzeit und noch mehr seit meiner Dozentenzeit eines meiner Lieblingswerkzeuge -- ich habe ihn manchmal meinen »Rotstift des Grauens« genannt

[..] D.h. es hatten schon alle die Stifte, aber die waren nicht sichtbar. Aber wegen des JavaScript-Fehlers eben auch funktionslos.
Ah, das erklärt dann wohl auch, warum der Mauszeiger sich an der Stelle nicht in einen Zeigefinger verwandelt hat, ich hatte mehrmals versucht, einfach »blind« an der Stelle ins Weiße zu klicken.
Warum diese Bedingung nur bei bestimmten Leuten auftrat, weiß ich nicht, habe ich auch nicht näher untersucht. Ist auch nicht wichtig, weil der fehlerverursachende Teil sowieso hier nicht benötigt wird und gelöscht wurde.
Yo, finde ich völlig OK

DANKE @Florian! Ich bin einerseits gerne so faul wie möglich und andererseits kann’s mir nie schnell genug gehen, also hast Du mich gerade glücklich gemacht.
LG Tom
p.s.: @Thyrfing:

p.p.s.: Getestet … »Juhu juhu!«