These days I can no longer get Greasemonkey to work. When I try to install it, I get a message asking me to click reboot to install it, but clicking reboot doesn't reboot, and closing and restarting MicroB doesn't make the message go away or install Greasemonkey. So, do others have Greasemonkey working? If so, how? I was assuming this problem would be solved at some point.