I found a 3D model file on Thingiverse for these straps. (https://www.thingiverse.com/thing:4249113)
I've heard them called "ear savers" since they hook and hold mask ear loops and can prevent soreness/fatigue from long use. And can keep the mask from accidentally slipping off!
surgical-mask-straps_square.jpg
I printed a couple of these to try and gave one to the girl who comes here to the farm and works with my horses. She took it to her dad who wears masks 10 hours a day at the hospital.
After trying it for a day he was SO excited, wanted to know if they were for sale. Ha! I'm printing a pile to send - share the love, share the wealth.
For those interested this batch of six takes about 2.5 hrs to print. Cost to print is maybe 7-1/2 cents each.
JKJ