>> An alternative to address the specific window title problem could also >> be providing a CurrentWindowTitle plugin. > > not so good idea care to explain why do you think so? on the user side, it'd be a solution needing less changes to their setup, and usable out of the box in any window manager. what are the downsides you see?