Add the module name in docs/upgrade.org#leptusupgrade2