Even without shooting through the full 4 digit roll in a day, it seems a low effort QoL upgrade to allow 5 digit file name.
It's not a big problem but personnally, when traveling, I have to use a renamer software regularly to change the file name to include the day of shooting and avoid duplicate number between the start and end of the trip. There are workarounds but it would be nice to not having to think of that
The software I use to import from camera to computer automatically creates folders for each calendar day based on the EXIF 'original date created' tags. I have custom file names set in each camera. Instead of IMG_
xxxx, the images from my 5D Mark IV are MC54
xxxx, the images from my 5D Mark III are MC53
xxxx, from my 7D Mark II are MC72
xxxx. Even if there is overlap in file sequence numbers between different camera bodies, there is no duplication of file names and no dreaded IMG_xxxx_1 file names for the second image to be imported with the same sequence number.
After culling, editing, and sequencing them for delivery to clients and for posting on my website and to social media albums I batch change the names to YYMMDD
xxxx[Original file name] where YYMMDD is a six digit date and
xxxx is a four digit sequence number. When I batch convert from raw to JPEG I add
xR at the end of the file name which indicates high or downsized resolution. If I do a color and monochrome version of the same image, the monochrome version gets an "mc" at the end of the file name. HDR images get "hdr" at the end. Monochrome HDR images get an "hdrmc" at the end.

So the high resolution version of an image taken with my 5D Mark IV on April 12, 2025 with in camera file name of MC546423 that I select as the first image of my output becomes 2504120001MC546423HR.JPG, the low resolution version of the second image in the sequence, MC720351 from my 7D mark II, becomes 2504120002MC720351LR.JPG. If I have multiple events or sub groups on the same day, the first one gets sequential numbering beginning with 0001 in the 7th-10th spaces, the next group starts with 0101 (or 0201 if the first event had more than 100 finished images), then 0201, 0301, etc. Sometimes I'll skip if there are only 3-4 different subgroups: 0001, 0201, 0401, 0601, etc. If there are a lot of images in each subgroup I'll go from 0001 to 1001, but I like to keep at least one zero between the six digit date and the rest of the sequence number when I can.