diff --git a/odoo/addons/base/migrations/10.0.1.3/pre-migration.py b/odoo/addons/base/migrations/10.0.1.3/pre-migration.py
index 078de84cfda1..fd4303e70a4c 100644
--- a/odoo/addons/base/migrations/10.0.1.3/pre-migration.py
+++ b/odoo/addons/base/migrations/10.0.1.3/pre-migration.py
@@ -53,3 +53,9 @@ def migrate(cr, version):
         end,
         'res.lang', id
         from res_lang''')
+    # set some obsolete modules to auto uninstall
+    cr.execute(
+        '''update ir_module_module
+        set state = 'to remove'
+        where name in ('web_tip', 'web_view_editor')
+        ''')
diff --git a/odoo/openupgrade/doc/source/modules90-100.rst b/odoo/openupgrade/doc/source/modules90-100.rst
index 4fcb477cac66..5e6e4119c16d 100644
--- a/odoo/openupgrade/doc/source/modules90-100.rst
+++ b/odoo/openupgrade/doc/source/modules90-100.rst
@@ -497,9 +497,9 @@ missing in the new release are marked with |del|.
 +-----------------------------------+-----------------------------------+
 |web_settings_dashboard             |                                   |
 +-----------------------------------+-----------------------------------+
-| |del| web_tip                     |                                   |
+| |del| web_tip                     | Done                              |
 +-----------------------------------+-----------------------------------+
-| |del| web_view_editor             |                                   |
+| |del| web_view_editor             | Done                              |
 +-----------------------------------+-----------------------------------+
 |website                            |                                   |
 +-----------------------------------+-----------------------------------+