Relates to #3343504: Remove patch to config_devel Drupal 10 compatibility, which is now merged upstream.