I found a velcro pocket with a backup mask in it today. It was just after the sign if entering via the eye. I dropped it off at the front desk.

Maybe a pocket with a solid loop instead of velcro next time.