Executor or SALAD: convert \r\n to \n at least for the purpose of matching regexes
The occasional \r
is a constant source of mistake when writing regex patterns and really not something we should care about... so how about just ignoring it completely?
We can either remove it at the source (in SALAD), or simply ignore the character when matching patterns.