Remove dependency of CGI from encodename_rdocurl