Really the difference here is it uses `RegexOption...

# announcements

[gabrielfv]

Really the difference here is it uses RegexOption.LITERAL, so """\d\d\d\d""".toRegex(RegexOption.LITERAL).matches("1234") should fail as well