Learn more about these different git repos.
Other Git URLs
0eed348
- add regsubi/regmatchi, which are like the originals but case-insensitive