User Portlet

Thanks Bill -- I will see if I can get Rubi working for Mathematica. Sometimes I get stuck, and perhaps I can use that package to help me see the next step -- that is what I want to use something like this for. Eventually, I hope to ditch it all...