Seit dem Umzug des Stream-Recorders auf die eigene Domain funktioniert die Anzeige der Stream-URLs bei Mausberührung einer Aufzeichnung (das nennt man wohl ``Tooltips'') nicht mehr, entsprechend zeigt die Javascript-Fehlerkonsole ständig Meldungen ``Tip is not defined'' und ``UnTip is not defined''. Ich schätze, da ist ein extern eingebundenes Script nicht mit umgezogen, Kandidat wäre vielleicht das erste im HTML-Quelltext zu findende ``js/f.js'', denn das führt zu einem 404-Fehler.