Now that the server supports $expr in filters we can translate IndexOf using aggregation operators instead of regular expressions.

While the resulting translations are somewhat longer than the regular expressions they replace, they are more direct mappings from C# to MQL and should therefore be easier to understand and less bug prone.