Well if nobody can take care of this maybe i would also vote to remove the help menu feature. I have ended taking out my help files to avoid problems with this, so i have no reference now. I think it is a nice feature but not not worth if it affects PD performance.
well, if no one complains, i'll remove the new doc menu from devel... it seems that
currently there is no way to vote ... either complain or try devel ...
cheers ... tim