Es gibt mehr als eine Möglichkeit, diese Katze zu häuten. Für Ihre Verwendung sieht ein Greasemonkey- Skript angemessen aus. Da die Version Ihrer Anwendung leicht aus der URL extrahiert werden kann, könnte das Skript folgendermaßen aussehen:
var match_data = document.URL.match(/^[a-z]+:\/\/[^\/]*\/imacs\/radek\/([0-9.]+)\//); if (match_data != null) { document.title = match_data[1] + " " + document.title; }