userscripts to extend redmin