> Perhaps this is a good time to switch over to plugins.wordpress.org or > something like that anyway. The less domains to keep track of the better, I > would think. Hmm, I think that would be a better place for a end-user plugin directory, not the dev stuff. Best regards, Arne