doc: bump sphinx favicon extension

Since 1.0, "sphinx-favicon" has been renamed to "sphinx_favicon".

Closes #287

Author: DifferentialOrange

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

docs/source/conf.py

@@ -25,7 +25,7 @@
 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
 extensions = ['sphinx.ext.autodoc', 'sphinx.ext.intersphinx', 'sphinx.ext.todo',
               'sphinx.ext.coverage', 'sphinx.ext.ifconfig', 'sphinx_paramlinks',
-              'sphinx-favicon',]
+              'sphinx_favicon',]
 
 autodoc_default_options = {
     'members': True,
@@ -126,7 +126,7 @@
 # pixels large.
 #html_favicon = None
 
-# Set up favicons with sphinx-favicon. 
+# Set up favicons with sphinx_favicon. 
 favicons = [
     {
         "rel": "icon",