With #74 a click group is used by default. The old command `flask mara_db.migration` should be dropped in mara-db version 5.