Removed the pydoc plugin, due to annoying focus changes