Есть более чем один способ снять кожу с этой конкретной кошки. Для вашего использования скрипт Greasemonkey выглядит уместно. Поскольку версия вашего приложения легко извлекается из URL, скрипт может выглядеть так:
var match_data = document.URL.match(/^[a-z]+:\/\/[^\/]*\/imacs\/radek\/([0-9.]+)\//); if (match_data != null) { document.title = match_data[1] + " " + document.title; }