[opencms-dev] Remove /opencms/ from url

[BigAdmin]

Hi

In following wiki page, should  RedirectPermanent point to /opencms/ or 
/opencms/opencms ?

http://www.opencms-wiki.org/wiki/Avoiding_/opencms/opencms_in_the_URL_%28apache_%2B_mod_proxy%29

So we rewrite any URI starting with /opencsm/.* and delete the /opencms/ 
part and then
we permanently redirect /opencms/opencms/ to http://www.example.com ?

Thanks
Babak