Re: renaming rumprun-posix

[Andrew Stuart]

My naive newbie assumption of what rump-remote is, is some additional type of 
rump server, a “remote” server, as in remotely located rather than “remote 
control”. I was imagining you have a base rump server of some sort and for some 
reason I was yet to understand you can also have a rump-remote server.