0.13.7 Bug 350236 – Cannot copy text; invalid character sequence errors Bug 352439 – URL highlighting seriously broken Bug 351494 – Gnome-terminal doesn't kills bash on tab close Patch from Aivars Kalvans Bug 352365 – font caching problem for not-found glyphs