A personal site upgrade from Drupal 7 to Drupal 9: some migration tips