Why `\d` instead of `[0-9]`?