doc: bump sphinx favicon extension

DifferentialOrange · DifferentialOrange · commit 538b1ca4a3bb · 2023-03-27T15:59:23.000+03:00
Since 1.0, "sphinx-favicon" has been renamed to "sphinx_favicon". Closes #287
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,3 +1,3 @@
 sphinx==5.2.1
 sphinx-paramlinks==0.5.4
-sphinx-favicon==0.2
+sphinx_favicon==1.0.1
