devpi-web is also a plugin, so mention it