Thanks for the info. I thought I'd seen some discussion here about an alternative web front-end for VirtualBox, but I don't see it on a quick look now.
Edit: Now I've found it, and it was you who posted the reference to RemoteBox. Obviously you're much more on top of the matter than I am.