Fix target globbing
Once the devlib commits are merged:
- remove them from this branch
- merge the remaining part of the branch
GitLab Maintenance scheduled for Thursday, 18th December 2025, from 7:00 AM to 10:00 AM BST. GitLab will be in read-only mode and experience short periods of complete downtime (up to 20 minutes) during this window.
Once the devlib commits are merged: