Yup, ordered. Remove the first one found.
This would be in line with how string search usually works for multiple patterns.
Also, in line with how “swappable” multi-string str.replace would look like. See: Feature Proposal: Multi-String Replacement Using a Dictionary in the .replace() Method - #21 by dg-pb