[web2py] Re: How do I install a plugin??

[Luca]

Ah, ok, I figured it out. 

What I expected to be called "install" is called "upload". 
It's kind of funny to have to "upload" something I have just "downloaded", 
but whatever :-)