Duplicated by `upgrade.php`, safe to remove?