[Bug]: Plugin-registered web providers can't be selected via web.extract_backend

Setting web.extract_backend to a provider name registered by a plugin is silently ignored, and web_extract() dispatches to a different auto-detected backend instead of honoring the plugin or raising an error. This issue is now closed.