Just to note, com.python.pydev.docs is actually the pydev homepage, not really a plugin, so, it's expected that it's not here (I'm going to change that during the merge to make it clear)