*: web_editor Some of those "⌙" markers will become foldable options in the future. Part of https://github.com/odoo/odoo/pull/53930 task-2157252 closes odoo/odoo#53930 Related: odoo/upgrade#1478 Related: odoo/design-themes#332 Signed-off-by: Quentin Smetz (qsm) <qsm@odoo.com>