Rename drupal-core-leboat-ajax-page-ids.patch to drupal-core-ajax-page-ids.patch