Could someone please explain to me how to make a greaemonkey script that redirects a page. in "dive into greasemonkey" it only explains how to redirect a page from an insecure server to a secure server. Thanks!