[Bug] 由 plugin 註冊的 web provider 無法透過 web.extract_backend 選用

回報者指出當 web.extract_backend 設定為由 plugin 註冊的 provider 名稱（而非內建後端）時，該設定會被靜默忽略，web_extract() 會轉而使用自動偵測到的其他後端，且不會顯示任何錯誤或警告提示使用者。此 issue 已關閉。