diff --git a/debian/patches/bionic-theme-options b/debian/patches/bionic-theme-options
new file mode 100644
index 0000000..7ffbf07
--- /dev/null
+++ b/debian/patches/bionic-theme-options
@@ -0,0 +1,14 @@
+--- a/docs/conf.py
++++ b/docs/conf.py
+@@ -92,11 +92,6 @@ html_theme = 'sphinx_rtd_theme'
+ #
+ # html_theme_options = {}
+ html_theme_options = {
+-    'github_user': 'dimitri',
+-    'github_repo': 'pgloader',
+-    'description': 'your migration companion',
+-    'travis_button': True,
+-    'show_related': True,
+     #'sidebar_collapse': False,
+ }
+ 
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..79dacff
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+#bionic-theme-options