{# note: if odoo.com/page/docs sub-menu's structure change, these links have to change as well #}