Some userscripts to improve UI